JS regexp fix (+doc.js example), mf_extract -v option (fixes #11)