The search was on Greasemonkey. If you find my personal way of being helpful "insulting", then it's best we both do without it.