User:HAl/monobook.js

// Script from User:Wmahan/wpspell.js document.write(' ');