GitHub dropped Pygments
This sort of thing feeds my paranoia about GitHub being a giant single point of failure in the open-source world.I know the argument:  Someone, somewhere has a copy of each repo checked out, so we (the nebulous "we") could reconstruct everything from the diaspora of ".git" directories.It just bothers me to think how dependent OSS has become upon GitHub.