Ah! In fact 99% of the time I'm not double-clicking on them anyway, I'm clicking on them in Firefox (from an internal, actually quite groovy, document control system). I bet that means I can tell Firefox what to do with them. (As opposed to what I'd like to tell Firefox to do with them .) I'll look into that tomorrow...

Peter