This post from TechRadar is another good source of information on downloading YouTube Videos.
It includes step-by-step instructions for:
- 4K Video Downloader on PCs,
- TubeMate on Android phones (which does not do you much good for classroom use),
- options for Mac’s and iPhones, and
- a good overview of the different video formats (hint, just use MP4) and video quality.