Issue #17398: document url argument of RobotFileParser