A pager/text-based WWW browser with SSL support