Can you please file a bug on Mozilla's bug tracker? They are usually quite responsive on well-documented dev related bugs - especially ones around edge-cases related to fundamentals like resource allocation.
You'd be doing a good thing that would help others.
You'd be doing a good thing that would help others.