I have switched all development over to sourcehut . See my profile . Current and Past Projects on Sourcehut: CUED Fork and Pythonic simplification of CUED . OpenVi-frontend POSIX Shell script setting vi editor settings according to file type.