a move

So here we are on devbox, as the old server had to be shut down. I’ve upgraded to a new version of the software so the look and feel is slightly different. I may adjust it a bit over the next few weeks (not least so that I don’t have to type into a narrow box as I’m doing now).