Changes

All the tools that we use to measure and improve memory usage are described [[Performancehttps://developer.mozilla.org/en-US/docs/MemShrinkMozilla/Tools|here]Performance on MDN], under "Memory profiling and leak detection tools".