[in case anyone is wondering, based on the commit-list message] Mark McLoughlin noticed that the 0.92 tag was missing from the public repository. I had tagged (locally) as part of the release, but had never pushed it. I've just done that.