After a few weeks of trials with Termux, I finally gave up and switched to Terminator. Much easier! AFAIK Termux can work in non-GUI systems so maybe that's its advantage?