chiark / gitweb /
README: more CONFIG_* updates