Has Apple dropped the classic sound Crystals from the list of Text Tones? It has vanished.

For a long time I have had both my iPadPro 11 inch (3rd gen) running 17.1.2 and my iPhone XR set to Apple Classic sound "Crystals" for text tone. For the last few weeks or months I was not hearing the sound notification when I was sent a text. Although "Crystals" showed as my selected sound for Text Tone, when I tapped further, my selection had defaulted to "None" (at the top), and Crystals did not appear in the list of classic Apple sounds -- though it still showed "Crystals" in my list of preferred sounds (Ring tone, Text Tone, Sent Mail, etc.) I went to Ring Tones to see if Crystals is still listed there under Apple Classic sounds and it is. However, it has vanished altogether from the list under Text Tones.

Has Apple retired the classic sound Crystals from the list of Text Tones? I hope this is just a bug.