No more pygments by default