I've kept at it, an hour here and an hour there. There's now support up until 8.61, there's a small utility (miner) that converts recordings to a JSON file (as abstract events, e.g. "creature seen," "item moved", "something said in channel," "tile updated," etc), a tool for managing a recording...