<div>This rename needs to be documented in dev.html.</div><div><br></div><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/9ffb4f0fe85d">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/9ffb4f0fe85d</a><div><br></div><div>Should we register both spellings (they are both used, though Chebyshev is more common).</div>