Hey I’m also using Violentmonkey and always recommend it over other options. But your comment got me wondering and I’ve checked. Turns out Greasemonkey actually dropped a new version a month ago. Not that this changes anything for me, just wanted to correct the statement.