Comment 15 for bug 162000

The solution in comment 13 https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/162000/comments/13 and is a godsend and is justifiably popular on Ask Ubuntu stackexchange: https://askubuntu.com/a/875482/95056

Most people, i am sure, just suffer without the most sensible shortcuts for switching tabs. Would be excellent to add this to Gnome or work around it proactively.