Using jemalloc to get to the bottom of a memory leak (2015) (technology.blog.gov.uk)