Virtual workstations currently have the users home directory at /home/ubuntu, but this is the small local volume. We want users to actually use the large volume.
We should arrange things so that /home is mounted on the large volume, not the small one.
Otherwise, it is too easy for tools that expect to write to things under $HOME to do the wrong thing. It is also unexpected for users that their $HOME directory is the wrong place to do work.