chiark / gitweb /
following Ryan Murray's advice, removed servers' real names and used only service...