Android: how (not) to play video files from assets

A while ago I needed to add some video playback functionality to an Android application I’m working on. I had the video files in the assets directory of the application. I needed to figure out how to get those videos playing on the screen. This turned out to be harder than I originally expected.