The Arch community maintains a 32 bit branch, even though Arch itself no longer maintains a 32 bit iso branch. Is there any effort for a Ubuntu 20.04 and later effort for a community based 32 bit iso or do I have to simply use a direct debian 32 bit like LMDE or MX Linux?