Add some more noteworthy people to about.html; add a note in the ssh script, etc.