Greasemonkey Script - Adds menu (bottom right) with download links for available video formats. Works with Javascript disabled (NoScript). More