Indeed, Android file manager behaves strangely in (low level) overwrite…
If the written bytes are less than the existing file’s bytes,
the final overwritten file is the mix of new and old bytes!
i.e. overwrite of small route files on large route files
There is a workaround, it will be available in the next app update.