But that should be written in the manual (tutorial) because a novice will spend a lot of time to find that out and may even get frustrated

Or SED should be configered by default (installation) that it runs the current file...
[edit] oh, I see it's in the lite-c workshop... But in Workshop2, so you will have a problem with workshop1 to run...