It is worth reporting a performance problem if you can take a few minutes to record a profile and file a bug: https://developer.mozilla.org/en-US/docs/Mozilla/Performance...