Google docs just hit looping fatal error in my working doc!  Demanded reload which demanded reload!  Argh!  Fed back to Google but doubted that happen fast.  Realised I might be able to fix with a different client so loaded on mobile, deleted last three changes and it works!  Few!  (those changes were adding an HR and page break under the TOC!)  Guess won’t be having those then!  Back to tweeting then on to reading (an hour late!)