You're right! I found the same thing but forgot to mention it in either the recording or the show notes. So far all of the streams I listen to work with the http prefix, though. I seem to recall that command-line VLC (cvlc) can play streams with https but I may be wrong. I'm on my phone at the moment and can't verify.