Firefox 4: numbered tabs