I had a look and apparently @[email protected] has been known to do a bunch of work before disappearing for quite a while, so hopefully he can get around to fixing its spoiler (and superscript and subscript) syntax before too long, if people report it. Not sure how he wants people reporting issues. Maybe just on [email protected]? Or maybe there’s a way through the app itself?