manifest: add some repos that disappeared