Update and rename tagesschau.de-html5-videos.js to tagesschau.de-html5-videos.user.js