Update arte-downloader.user.js