chiark / gitweb /
In messages, use $prhome, not $dot