Further to my last post. This is another installation of my learning notes on lab.js as I try to learn.
This is the main lesson: to save the project for future editing, one uses the Save to save the JSON file.
It is different from the option Offline data collection, which gives a zip file with the complete html, css, and js files.