chiark / gitweb /
rules: move OPTIONS to separate rule