A handy Greasemonkey script for YouTube