Firefox : les WebSockets ne passent pas par le proxy

Vu sur PacketStorm : Attention aux utilisateurs de Tor qui se servent de Firefox.
Il semble que le navigateur ne fait pas passer les connexions via le proxy défini en paramètres si un site utilise des WebSockets…