Should have checked the Mozilla bug tacker first :-).
This bug seems to be a known issue: https://bugzilla.mozilla.org/show_bug.cgi?id=733039.
After cleaning up the cache as suggested in the thread as a workaround, performance is back to normal.
Should have checked the Mozilla bug tacker first :-).
This bug seems to be a known issue: https:/ /bugzilla. mozilla. org/show_ bug.cgi? id=733039.
After cleaning up the cache as suggested in the thread as a workaround, performance is back to normal.