Torbutton does not block access to non-default Tor-related ports

https://www.torproject.org/torbutton/design/ The 3.1 Browser overlay section on network.security.ports.banned assumes that no one changes the default ports.
The tor(1) man page and config documentation on the website gives those values as defaults but does not warn users about a torbutton dependency. Is there a way to have torbutton check (perhaps only on install) that the ports are as expected?

[Automatically added by flyspray2trac: Operating System: All]

Trac:
Username: keb