Isabelle markup expander von terru

Tired of having to read Isabelle theory files on code forges, staring at the bare, unexpanded markup? Use this to do a simple pass over the website and replace all the escape sequences with their unicode representations.