i just discovered the dependency management ui. if i understand correctly it uses
https://package-search.jetbrains.com/ which in turn browses a preset list of 7 repositories. is it possible to add further repos, or do i have to manage dependencies from other repos manually ?