For some reason, whatever was wrong with the server that caused it to act so flaky is fixed now. I may regret this, but comments are reenabled.