chiark / gitweb /
translation status checking tool, based on documentation/doc-check