I have a fair amount of professional experience building systems for ingesting, processing, transcoding, and streaming video for the web, but I’ve never done anything small-scale (i.e., for a personal website). I don’t want anything fancy; this is for showing short (<30 sec) clips of programming-related things.
I think I’ll just use the HTML <video> tag, but what’s the best single codec/container to use that has the broadest support (because I don’t want to export lots of video files)?