Administrative note

Posting will be light for the next few days - my MBA is in the shop having its battery replaced, and typing HTML markup on an iPhone keyboard isn’t much fun at all. JRE should be back in action by next weekend - and there’ll still be sporadic posting in the meantime. Watch this space.