default.xml: remove more repos that I don't use!