It shouldn't be necessary to list that repository. Machine Head's (WIP) documentation doesn't, for example.