This is the mock for T142201: Create a mediawiki extension for browser-based rendered pdf support
We will probably start development somewhere around September 13th, but feedback is appreciated!
This is for the time period, where people should be able to both download a latex and an electron version of a PDF.