Credit where credit's due, the mentioned website (The Punctuation Guide) works very well with JS disabled, and the problem with text copying is gone. I use https://github.com/meetDeveloper/Quick-JS-Switcher