.bashrc: Always run `whois` in a pager
.bashrc: In fact, use $PAGER instead of hardcoding `less`