chiark / gitweb /
max_batch_up: Make it a limit on the server