chiark / gitweb /
scripts/setup waits a bit to let the server start up. This is a real