update python.snippets and so on