Re: [arch-dev-public] Status of sigurd.archlinux.org/aur.archlinux.org