Greasy Fork is available in English.
Creates the option next to edited and deleted Reddit comments/posts to show the original comment from before it was edited
< Feedback on Unedit and Undelete for Reddit
Which userscript plugin are you using that shows that? It should still run correctly regardless of that line.
In any case, I updated the match to the following:
// @match https://reddit.com/*
// @match https://*.reddit.com/*
Let me know if 3.9.5 has the issue fixed for you.
V3.9.5 issue fixed.
Invalid script headers. Invalid Userscript Schema *://*reddit.com/*