Thanks for that, don't forget to change it to conform with the upcoming Tor Browser for Android and ESR60-based alpha releases.