Li ho sempre avuti a portata di mano sulla sinistra della barra url, questione di abitudine, anche perchè nella barra son troppo piccoli.
Comunque senza scomodare il file userChrome, ho usato Classic Theme Restorer, che funge alla grande anche per queste cose