This is great work, another fantasy of mine made reality and posted to HN! Is their a tutorial for getting started with OSCAR? A "HOWTO" for analyzing a paper

This is great work, another fantasy of mine made reality and posted to HN! Is their a tutorial for getting started with OSCAR? A "HOWTO" for analyzing a paper would make this program more accessible. If I could learn how to use it without spending too much time doing so, I would use it as tool for reviewing manuscripts. I would also like to use it on my own manuscripts to find mistakes. I have a feature request: optical pattern recognition of mathematical formulas. It would be awesome to feed a program a pdf and have all of the mathematical formulas translated to LaTeX.