get_input intrinsic function documentation

um... it's probably web_server and not http_web_server, right?