@cstross@wandering.shop These are almost certainly just typos, but just in case they have actually crept into the text: surely "polstilion" should be "postilion" and "obnubliated" should be "obnubilated".