Was the forum down earlier?

I was getting 500 internal server errors from around 6:30-7pm EST when trying to visit the forum. Was it being updated or just some minor downtime?

from Was the forum down earlier?