On Sun, 31 May 2020, at 21:43, Joerg Jung wrote: > IMHO this includes keeping Terminus, despite upstream dropped it long > time ago already. So, I’m not in favor of the proposed patch, but would > not object, if you insist on moving on this way.
My preference is for a maintained port and a happy maintainer over what style choices are ultimately chosen. I am happy to let things be.