I'm not an MkDocs user yet but I've been meaning to be for years! It's unfortunate to hear about the issues with project leadership. Why bring the drama about gender into this?! It should be closed as off topic.