OK, I’ve just added the filename and hidden it with a CSS rule. I expect we’ll have to tweak the `<iframe>` resizing logic when we display the filenames under video posters, but we probably should fix bug 889902 before thinking of it.