> Another historical curiosity: I have a couple of "video CDs," which were regular-sized (5-inch) CDs with a digital section containing the song (playable on any CD player) and then an analog video section with the video for the song (playable on later LaserDisc players).

That is a "CD Video" or "CD+V", which supported up to 20 minutes of CD audio and around 5 minutes of LaserDisc-style analog video. There was also a variant that skipped the CD audio and was just LaserDisc video on a CD-size disc called "Video Single Disc".

"Video CD" or "VCD" was a later all digital format that used MPEG-1 compression while also disabling error correction for more data capacity to fit more or less the same amount of VHS-ish quality video on a given disc as it could support CD audio. VCD never even reached the level of success of LaserDisc in the US but most standalone DVD players could play them. I believe they were a lot more popular in parts of Asia.