Has anyone had any experience with the standard JIRA field Labels and many, many labels? I've got a client with around 5000 labels at the moment and they were asking about the performance of Labels compared with a multiselect field. Any experience around this?