[tor-commits] [torbutton] branch maint-11.5 updated: Bug 41460: Migrate preferences to the name we will user for 12.0.