Firefox extension that enables users to save embedded videos as local files.