changed manpage to reflect the current default choice of terminal...
one more step toward cleanliness, huzzah!