Show HN: An offline document search engine for my university's messy PDFs