O navegador web Firefox versão 125 em português do Brasil possibilita a instalação de programas normalmente desenvolvidos por terceiros que permitem adicionar recursos ao Firefox para personalizar a experiência de navegação. Como são denominados esses programas?