chiark / gitweb /
extend CODING_STYLE document a bit