Editing post gives 502 bad gateway error

Hmm, 502’s shouldn’t happen (often) anymore - they’re a sign of the server being overloaded. I don’t think we had any issues with that today - could you try re-editing it?