Looks very nice! I have an interactive tutorial I wrote and teach with which is here: https://github.com/JulianEducation/CommandLineBasics https://github.com/J

Looks very nice! I have an interactive tutorial I wrote and teach with which is here: https://github.com/JulianEducation/CommandLineBasics https://github.com/JulianEducation/CommandLineBasics in case it's useful as well. I only have 90 minutes in my case so it's a constant battle to tweak what I can get to with my audience, so there's still lots of things I want to change. But I think it's very important to have lots of resources here so I'm excited to look at yours.