Re: [arch-dev-public] [RFC] Add ARM to archlinux.org