Given the progressive/woke bias of Wikipedia, I am scared to ask what was that money really used for.