chiark / gitweb /
resolved: when picking a new hostname make sure two hosts pick different ones