The post is about finding bug in Firefox memory allocations, causing allocation of double the needed amount of memory. Just thought I'd clarify that due to the

The post is about finding bug in Firefox memory allocations, causing allocation of double the needed amount of memory. Just thought I'd clarify that due to the nice but a bit uninformative title...