Wikipedia plugin for dext, a smart launcher powered by Javascript