chiark / gitweb /
Option --resetserver does nothing; have it used instead