The index of GitHub projects listed in the Eclipse Oomph installer