You must log in or register to comment.
I fixed it for them
What about up by the name of the repo? Your suggestion still looks almost reasonable, I like it!
Yeah actually that could work as well. Would be a really easy greasemonkey script
And then just push it to the main branch of GitHub, I’m sure they’ll accept it ;)