chiark / gitweb /
rules: keyboard - remove "platform" from comments