Could portal.hdfgroup.org be made searchable by Googlebot?

Thanks for your reply, Lori!

I noticed since first posting that this issue was already reported an entire year ago:

Respectfully, I suggest that prioritizing a fix would benefit both current HDF5 library users and the HDF group. The current lack of searchable docs presents both a challenge to existing users, and a barrier against uptake by prospective users.

I have no insight into the technical issues you face, but maybe a workaround would be to generate a static mirror of the website (daily?) and allow that mirror to be searchable? This mirror could even be maintained by some enterprising person outside the HDF group if permission to create a mirror could be granted. (I am afraid that I cannot be that person since maintaining a mirror site would be far too time intensive for me.)

Best regards,
Kevin