This is one of those extensions you forget you ever installed, just up to the moment when you need it. Sure, downloading videos is a game of cat and mouse, so it might not work every time, but most of the time it really works—and the author has been maintaining this extension for years on end in their own free time.
