- android: improvement of Preferences tab: categories, advanced preferences