Ugh, yeah now I see it. These tabs are actually making things worse. At least on the GitHub web-interface.