Thanks for answers!
You said that the mid quality MP4 is used for HTML5 and Flash videos. Is it possible to set the high quality by default? I see that it's possible to download the high quality, but why should a user download a video manually, when the media player can do it automatically (buffering)? It would be nice to see these options in the "Video Playback Preference" drop-down list.