Originally her name was just Sancha Mancha, Sancha being a Spanish name meaning "Holy" and a bud on Discord introduced me to the song "Holy Diver" hoping that would be her name... and it stuck in a certain way as you can see

Sancha © Mil-The-Windmill