A YouTube video downloader for Android devices