Better handling of edit conflicts

The default MediaWiki edit conflict interface is easy to overlook, and a bit unwieldy besides.

A new extension has been installed ("Paragraph-based Edit Conflict Interface") that should improve the process of resolving edit conflicts. You can opt out, if desired, from Special:Preferences.