Or any of the many other ways of downloading media like youtube-dl (or in your terms, of the CHROMIUM extensions), without bashing Firefox into others faces.