chiark / gitweb /
fix doc-check URL; closes: #187144