Various housekeeping and bug fixes to the Android apps.