In the final episode of "Fraggle Rock", Doc told Gobo that his name is Jerome Crystal, making him Doc Crystal (a Henson inside joke, referring to "The Dark Crystal")