@Wolgwang: The current version of ChatJax++ (0.3.0) is not compatible with the
API changes in Greasemonkey 4. I'll see if I can make it work; it shouldn't be a major change, but I'd rather do it without breaking compatibility with other user script managers like Tampermonkey that still use the old API if I can. (I guess in the worst case I can just make two versions of the script…) —
Ilmari Karonen 1 hour ago