Per qualche motivo, non vedo il pulsante dopo aver installato questo componente, ogni volta che succede sembra che mi sia sfuggito qualcosa 
Ho installato il componente Custom Header Links ma l’ho disabilitato e il pulsante Dev Tools ancora non è apparso
Ho ricaricato la pagina più volte e ho anche effettuato il logout e il login (dato che l’ho impostato solo per amministratori)
Ultimo Discourse appena aggiornato