Tech ToDo – slightly grungy things to sort out so that we can work effectively.
Anyone with an account on gold.fivehops.net can add a new user for this site by running:
/web/generic/scripts/users/add-user mmm \
username "Joe Random" joe.random@example.com 'z!'
(The last parameter is a quirk of how we generate password-hashes, but it's simple enough for now. Take care to put it in single quotes, or your shell will likely interpret the bang. Someone also needs to add the new user to wikiconf_auth_users() in /web/mmm/devwiki/inc/auto.inc – but there'll be some permissions fun with that.)