chiark / gitweb /
Internationalized documentation had the wrong sectional capitalization