A YouTube video player as a Google Chrome extension