Met dank aan nirwana van MozBrowser voor zijn reacties op mijn post in het MozBrowser forum ben ik nu geabonneerd op bug #3157. Gezien het id ben ik bang dat er nooit een praktisch oplossing komt voor deze bug.