Savvas Problem Browser

Local DOK corpus — filter, render KaTeX, and fix OCR inline.