@bw Wonderful!! I first learned HTML 3.5 from a Dummies book. I'm a writer now, and to my shock, in 2021 I worked as an SME with a young web dev my client hired. He not know a lick of HTML. I ended up doing some of the web dev work for him, even though my skills are still stuck in 2003.
I've found it hard to find good HTML quick-lookup reference materials online now for when I want to just bang out a quick site but forgot an attribute. Awesome of you to teach this skill. HTML is very easy and versatile, and kids can be empowered like I once was.