Update index.html
Merge branch 'master' of github.com:rcos/Observatory
Update to fix moorthys key
Update vcsrepo and apt
Hide users who don't have any projects to their name.
If the they're a mentor, show them even if they have no flag
Actually exclude mentors from filtering correctly
Merge branch 'dev'