> Activity Monitor in MacOS Mojave has a double-counting bug, causing it to report double the actual memory allocated.

Ouch. Assuming this bug was introduced in Mojave, a basic regression test would have caught it.