Another brief note: I realised not long ago that the editor toolbar was missing when editing pages on the wiki, and, discovering that it was merely a matter of adding a single line to the wiki's configuration file to enable it, did so. Hopefully, that helps new and old editors alike to work out how to edit wikitext.