It should be made clear that this is - yes? a Firefox *browser plugin*, and indeed an excellent one. Also, the web version of this page misrenders the umlaut.