> I wonder if Arch would consider doing the same (supporting 32-bit x86 as an alternative architecture).

Yes: https://lists.archlinux.org/pipermail/arch-ports/2017-Januar...

(Also https://lists.archlinux.org/pipermail/arch-ports/2017-Januar...)