Select Tab Using Alt-Number troch Yury Kotov

This is a modified version of original extension by selecttab@braniecki.net in order to use alt+[0-9] to select tab instead of ctrl+[0-9] (the original version has an opposite behavior). Please see the following stackoverflow answer: https://stackoverflow.com/a/56889614