[sr-dev] git:master:8a0c8f1b: pike: docs for pike_check_ip()