Delete 2013-07-26-pygments-config.md