[Greasemonkey] Writing an extension to inject a userscript in IE

[Julien Couvreur]

I know there are a number of Greasemonkey-style extensions for IE
(Trixie, Turnabout, GreasemonkIE), and I'm curious how they work.

Is there any IE guru here that could offer a technical overview of
what's involved in writing an IE extension that can inject JS in some
pages?

Thanks a lot,
Julien