Release notes should name the user-facing label, not only the internal ticket. People search for the button they saw.