Brett Kelly brought my attention to a nice hack: a cross-platform script for downloading youtube videos via the command line. You can play the resulting files in VLC, Democracy Player, or whatever you prefer. It’s ~/bin/youtube on my laptop.