Just now @Gung and I were editing the same post in the same way (making equations into latex equations). The post was fairly lengthy and this sort of editing is a bit of a pain.
Is there a way to avoid having two people edit the same post at the same time?
Or is this a matter for a different forum?