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.