YouTubeの動画ファイルをダウンロードしようとすると、ファイル名が「get_video.mp4」とかになってしまうので、自分で付け直さなければならない。大抵はタイトルをコピペすることになるが、結構面倒。それを何とかするのが、このブックマークレットだ。 準備…