Concordo con te che i workaround non siano la scelta migliore, ma conoscendo per esperienza quanto tempo può prendere a volte la risoluzione di un bug non critico, continuo ad affermare con convinzione che, in questo specifico caso, il workaround ci stava tutto in attesa dei possibili tempi bibllici che avrebbero (il condizionale è d'uopo) portato alla risoluzione del bug. E per dovere di sincerità bisogna anche ammettere che é possibile che la nostra segnalazione, dopo una breve discussione su bugzilla, non venga considerata un bug e quindi chiusa senza darle alcun seguito.