Clarify teminology (around providers) and misc cleanup
I extracted all of what I consider cosmetic changes from !375 (merged) into this changeset. There should be no behaviour change, except for:
- Bug fix in
DBHelper
- Different handling of priorities for newly created repos
Everything else if method renames or other misc cleanups.
After this, I'll pull out a different set of changes from !375 (merged) and then rebase it on this again.