Shell script to remember page numbers for documents read with MUPDF