issue 132: refactor some more ``rule``-names in the docs.