This may require just doing an mv on the home directory, plus changing the home directory in /etc/passwd. It should of course be done carefully. (imported from commit 660997d897ee6d33563af74f0fc5d4267a911755)
(imported from commit 34b0a78558c6f20043efe986a16064387f36f1c0)