Nice section on Android/Termux; only at the beginning is there a CinGG
to replace with \CGG{}.
(32-bit appimage still doesn't work for me in Debian 11 32-bit with
Qemu/Virt. Probably something is missing in my Debian, which I don't
know well because I've never been in the deb world.)