[like_any_other]

> the whole document is dumped in the file at once, but then edits and corrections are applied top to bottom to that document

This also happens if one first writes in an editor without spellchecking, then pastes into the Google Doc (or HN text box) that does have spellchecking.