An application for editing PDF files (WIP)