Yes, I read the section you linked and was none the wiser.
The difference between the saved files and files to be loaded was lost on me since they weren’t side by side (and I make a living seeing such differences in code …) so I think it might help to add a sentence that pedantically spells out what to do. 