Update pygments, server, and auto config options