Add Chris to list of names in docs introduction.