chiark / gitweb /
spec.sgml: Correct docs for errors-push, which takes no filename.