Hi there, I wanted to let you know that I am orphaning community package terminator along with its dependencies libkeybinder2 and python2-keybinder2. I haven't used these in years now. If anyone is interested in maintaining them… Guillaume