So, her name wasn't actually Lola. It was Eudocia Tomas Pulido. Lola was literally her slave name.
There's a lot to talk about in the article, and I'm not super-excited about digging deep into that here on hn, but I think it's worthwhile to point out her real name.