(I do agree with your point that Github should be better at displaying which repo is the official one for a project.)