PostgreSQL doc: some JSON functions can't be found

[av44]

PostgreSQL: some JSON function names are not searchable

Summary

When entering names of JSON functions from
Table 9.47. JSON Creation Functions https://www.postgresql.org/docs/15/functions-json.html#FUNCTIONS-JSON-CREATION-TABLE
and
Table 9.48. JSON Processing Functions https://www.postgresql.org/docs/15/functions-json.html#FUNCTIONS-JSON-PROCESSING-TABLE
into the search field, the functions are not appearing in the results window. Examples: array_to_json, json_array_elements.

Tested with PostgreSQL doc version 15 and 16.

Apparently this started with PostgreSQL doc version 12, older versions seem to be working properly:

Actual behaviour

Searching for array_to_json, json_array_elements returns no result when having PostgreSQL versions 15 and 16 configured in preferences.

Expected behaviour

Search should be successful, leading to the corresponding documentation page.