Are there any reasons for us not to want to support Unicode tag and pool names?