yes that's how I ran it (changed the file name to ...
# getting-started
m
yes that's how I ran it (changed the file name to main), clicked the logo and selected run