Yes, she is one of our 2 core Web client developers, along with one of the 2 core website maintainers, and does a lot of the docs! I would merge a request with a smiley for Bitcoin for all the work she does.
I am also one of the core devs. Actually, none of the Bithub donations go close to being a working wage for any programmer actively working on the repository. We either get paid by grants or are volunteer. Asking us to micromanage Bithub grants for one or two off contributors would only be more work. We went with a "worse is better" strategy with the goal of encouraging people to regularly commit in however they feel comfortable. It's an experiment that we've been pleased with and if you would rather donate to a dev individually just look at who the top contributors are and reach out. We appreciate any support from PRs to Bitcoin to press.
thanks for posting! We still teach out of Volume III in the quantum mechanics course I assisted, I can recommend the entire volume and great that it is available to the world.