> changing our memory allocator

they've been using jemalloc (and employing "je") since 2009.