You are being pointlessly pedantic. A lot of people still think Google has only one repo because I articles like this.