pythonify and lint