branches: 1.3.44;Add $HOME to profiles, closes pr 4323 (from Tatoku Ogaito)
RCS Id Police.
Installation tools for vax.
Sync with HEAD.