Jimmy Wales should rename Wikipedia Wokepedia. Just for the holidays. Or for as long as it irks Musk, whichever!
