Board Thread:Support Requests - Getting Technical/@comment-12198205-20150504085804/@comment-452-20150504131106

They have blanked it, but it is cached, possibly in your browser, possibly upstream.

They tried deleting it, but doing that just breaks the javascript on every wiki using that script.

A null edit to a CSS file would do nothing.