Redesign settings page, fix it to show all repos (nasty kludge to do it :)
Minor: put link to git-ls-remote in comment about it
Minor UX: Make repo buttons attach to URL input form
tasks.py: Revert cp verbosely
tasks.py: Fix opentype subsets (that was recently merged)