Me too. Thanks for the pointer.
I must admit I don't see why Debian should not have an arm64 package. The problem system is a pure Debian install, even if it is on a RPi, and isn't Raspbian. I'd expect the Raspbian/Debian arm64 packages to be the same thing, though.