Board Thread:General Discussion/@comment-27721133-20190926124836/@comment-9605025-20191010234827

It might take some more time then. Sometimes it takes a bit longer for global.js changes to be reflected on actual pages. It should definitely work within the next hour.