On Mon, 14 Dec 2015, Nelson A. de Oliveira wrote: > Technically, can rules be renamed? In my last mail I talk about the whole rule and wiki page. It's no issue to simply change the "title" of the rule if that helps. Ciao -- http://www.dstoecker.eu/ (PGP key available)