provide Isabelle/jEdit plugins as services, and thus allow user components do the same;