I gave it a +2 and it looks like it has been merged now.

Please do if you can, I'm not very familiar with Gerrit etc. so it would be good to have someone who knows what they're doing involved!

Hi all, definitely haven't touched this for a while so can't help much, but I've eyeballed the patch and it looks fine so I'd be happy to +2 it if I still can.

Can you try editing MediaWiki:Common.css or another page to see if you get the same problem? It's been a while since I've worked on this extension but from memory it does not change the page content model, it simply issues an 'edit' request to the MediaWiki API. Possibly the bug could be in the Proofread Page extension not hooking the edit API correctly, especially if the problem exists with other page editing extensions too.