Quick post to say that astrojargon.net was down, but is back up again. Sorry for any inconvenience, and thanks to Marty for giving me a heads-up.

I'm planning to switch hosting companies tomorrow, then DNS propagation may take a couple of days, so please forgive any hiccups over the next few days.

David