bugfix

Gracefully degrade if previously edited file shrinks.

Created by  Kartik K. Agaram  on July 4, 2022
G5HANZBIJLPNT3NAW5U2UJYV3SMFIJVVPESJ7JBBYWLZ3XMMJOGAC
Change contents