Not sure why we started using a label, maybe `Type` was not available at the time. Tasks: - Judge whether there is any demerit to switching to `Type` for bugs, enhancements, and tasks. - Move them all (hopefully there is a batch way to do this. - Fix the "unbassigned bug" search link at https://github.com/commons-app/commons-app-documentation/blob/master/android/Volunteers-welcome!.md#developers