ontwikkelaarsopties verwijderen op Android