poekie

Indeed.

I commented out the line (95) in wp-admin/formatting.php and it now works fine. I compared it to a previous version, and it was a new line, so probably no big impact