Miscellaneous improvements; mostly made RepositoryPanel a little less dumb.