See diff - edit was done on the desktop wikitext editor interface, on Opera Mini, and the section somehow completely replaced the page. There was no edit conflict, nor any other edits to the page around the same time. Saving was done right after a preview, which worked normally. Apparently this is not the first time of such a diff showing up, although browser or other details are not known for the earlier ones.