@ThatGeoGuy I forget the exact command. The information about renaming the default user is correct, but renaming the default home directory is not (and, in fact, they have the instructions in two different places; I think the second, more detailed version, is correct).