Aha! Yeah, it was a Firefox extension (I think) that was made even before we made public the relevant bits of the API. (It was not made by Tiny Speck/Glitch.) I bet it has broken in the meantime. But I'd bet just as much that it or a replacement will come back.