GitHub: better-sized tabs in code