It kinda drives me nuts that Ctrl+num changes to that tab number on Windows, but on Linux, it is Alt+num.