Switch tabs in Gnome Terminal windows with control-tab on Debian or Ubuntu

After living with the annoyance for quite a while and then taking a bit to find it, only to note i’d already upvoted the answer that fixes everything (in Debian too!), i figured i’d better keep my own note on convenient terminal tabbing here where i can find it easily.

Bug #162000 “Cannot use Ctrl-Tab as keyboard shortcut in gnome-terminal” : Bugs : gnome-terminal package : Ubuntu

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.