Ask HN: Is the Arch Linux AUR Down?

URL: https://aur.archlinux.org

I'm personally getting an Error 502: Bad gateway from their nginx server and would like to confirm it isn't just me