OK, so I just found a reference to this in the Troubleshooting section. I think it should go into the main Debian setup section. If I didn't find it, someone else might not as well.