After a bunch of technical difficulties, we’re back in action again, as of Friday, 16 August 2019. We’re sorry for the problems, and yes, there remain issues to deal with. That said, this site is being totally rebooted to be a blog-based site that is easier to manage. As much as we are grateful for the old site, it got too cumbersome, and it was time for a change.
We hope you like the new format.