Default file services /file and /mint-file
Properly handle port 80 (window.location.port is "" not 80 then)