Just a quick update. Something formal will be broadcast soon. I'm in the process of switching to my hamiltonz.net e-mail address:
...so if you want to start sending to that, that would be cool. Dunno how long it will take me to decommission the RTFM address. Been using it for the best part of 10 years, so it will take a while to switch newsletters and the like.