Here the actual code of the extension is basically 2 files, one of 114 lines and the other 66. Plain js, easy to digest. Looks pretty safe.
Also, plenty of these extensions have been acquired by data firms or other sketchy places to then add your browser to botnets. If these are absolutely necessary for you, I highly recommend downloading the source and dumping it into Chrome/Edge via developer mode. At least then you know they can't update it in the background and you know what you're running.
> No wonder reddit used to go down so often...
That's uncalled for. If this were reddit I'd have a much spicier retort.
you leaving is actually part of the reason I left at the time, you were one of the few admins who regularly participated (it seemed)