Inconsistent documentation about label management permissions
user/permissions.md
says that Reporters
can manage labels, but doc/user/project/labels.md
says "A permission level of Developer
or higher is required in order to manage labels". Can someone please correct this?