Hotfixes
Polish get_port
Footnote style
Fix ampersands in <pre>s
No more fixed header