Deleted PragmataPro in init.el