chiark / gitweb /
dot/vm: Remove list of ancient email addresses.