No hits when search devel documentation

Hi,

This is my first message to -www.

When I try to search using the "Search Documentation" form on the
website, I get no hits from
https://www.postgresql.org/docs/devel/static/

The same is not true for, say https://www.postgresql.org/docs/9.6/static/

Is that intentional (keeping devel stuff off of searched documents, that is)?

Thanks,
Amit