torbrowser stream isolation considers domain:443 different from domain:444
torbrowser isolates domain:800 from domain:80. This is inconvenient when domain:800 checks whether the request matches the IP seen by domain:80, especially as there is no way to disable stream isolation.