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 d58be28e57fcb3b5585c0018f1dbb53adf5067df)
(imported from commit e153c7a1a68e82dd3fa45251644be74c62770a9d)
(imported from commit a1d4dd22c59f812f0eb4875dc70c89ce96a4b90c)