split up RepoFilterView rendering and insertion lines
rename repo search field, since it isn't just for 'add'