Can anybody review the fix for a memory leak: https://gerrit.wikimedia.org/r/c/mediawiki/php/luasandbox/+/628088?
