Update website: more different names in introduction, slimmer layout.