auto attribute added on config file

Also server and pygments (just in case)