chiark / gitweb /
Remove some vestigial Python things