Made a little popup menu system constructed by JavaScript to make navigating the ever-growing documentation file easier; also added a thing that detects what platform you're on and automatically translates the Oxygen keyboard shortcut keys to the correct ones for your platform. Updated the documentation on the OCR and SQL-to-TEI processes to cover the work I did yesterday. 90 minutes.