[minitech]

Yeah, it’s too bad about the name because this extension otherwise seems really good. (Just a minor annoyance, but as you say, one that comes up constantly…)