[arch-general] archlinux.org down

At least for the last 15 minutes (since around 7 PM CEST) some of Arch Linux sites have been down: http://www.archlinux.org/ https://www.archlinux.org/packages/ https://bugs.archlinux.org/ https://www.archlinux.org/download/ The forum and wiki seem unaffected.