I am putting a pr-welcome on this and moving to UX, it is a tiny edge case, we probably should suppress this tab for bots.