* Some tweaks to wfMemoryLimit() to make it a bit faster.