doc_http.pl generates an error "goal unexpectedly failed"

[dtonhofer]

Querying this URL

https://eu.swi-prolog.org/pldoc/doc_for?object=f(random_float/)

instead of this URL

https://eu.swi-prolog.org/pldoc/doc_for?object=f(random_float/0)

leads to an internal server error

goal unexpectedly failed: pldoc_http:pldoc_object([protocol(http),peer(ip(10,0,3,1)),
pool(client('httpd@80',plweb:http_dispatch,<stream>(0x55614ec36000),
<stream>(0x55614ec36f00))),input(<stream>(0x55614ec36000)),
method(get),request_uri('/pldoc/doc_for?object=f(random_float/)'),
path('/pldoc/doc_for'),search([object='f(random_float/)']),
http_version(1-1),host('eu.swi-prolog.org'),
x_forwarded_for('X.X.X.X'),
connection(close),
user_agent('Mozilla/5.0 (X11; Fedora; Linux x86_64; rv:76.0) Gecko/20100101 Firefox/76.0'),
accept([media(text/html,[],1.0,[]),
media(application/'xhtml+xml',[],1.0,[]),
media(image/webp,[],1.0,[]),
media(application/xml,[],0.9,[]),
media(_2554/_2556,[],0.8,[])]),
accept_language('en-GB,en;q=0.5'),
accept_encoding('gzip, deflate, br'),
cookie([swipl_login='XXXX',swipl_session='XXXX']),upgrade_insecure_requests('1')])
In:
In:
[13] throw(error(goal_failed(...),_2700))
[12] http_dispatch:call_action(pldoc_http:pldoc_object,[protocol(http),...|...]) at /home/swipl/lib/swipl/library/http/http_dispatch.pl:1030
[10] time:run_alarm_goal('$alarm'(93876327253568),http_dispatch:call_action(...,...,...)) at /home/swipl/lib/swipl/library/time.pl:147