Changes

Todo for interface extension

* see what can be done about auto-instantiation of command pages (need to keep track of existing pages)

* document the new stuff (ref pages, env/cmd split, variants)

* fix/extend the <nowiki>{{cmd}} and {{env}}</nowiki> templates

* existing page merging (jikes!)