Python info file for init.el.