apps: added formulae extractor and annotator