Un semplice, comoda scorciatoia alla schermata Opzioni per sviluppatori.