> window.addEventListener("click", function(e) {
> if (e.target.tagName.toLowerCase() == "a" && e.altKeyArg && e.ctrlKeyArg) {
> GM_openInTab(e.target.href);
> e.preventDefault();
> }
> }, false);
TOS wanted to activate links on mouseover, so this should be:
window.addEventListener("mouseover", ....
but other than that, looks good.