Greasemonkey script to enable/disable soft-wrapping on every file on Github pages