Update man pages for name change