OK :-(

Thanks for investigating and putting the bug reports in the right place.

For now I'll have to revert to using GNOME Terminal.