[ mailman-Bugs-896524 ] Explicit (non-80) port sometimes missing from URL