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 re

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.