Ask HN: I built a local-first in-browser vector PDF editor with OCR