Use custom font for current-span
Support type insertion
Never guess port, always expect
Special handling for ghc-server loading its own source