Happened to me again. Symptoms are exactly the same: inserting the whole file works, inserting only a part dies with `file-missing'. Paul On Fri, 16 Sept 2022 at 11:37, Lars Ingebrigtsen wrote: > Michael Albinus writes: > > >>From my pov, we could close the bug, unless the problem happens again. > > > >> Paul > > OK; closing this bug report, then. >