pygmentsが拡張子「txt」をパースできないので、拡張子「txt」を外した