Thank you for taking the time to update the Developer references.
Current state now reports "Generated on Fri Jul 18 2025 09:41:57 "
Yesterday the search list displayed weird but that seems to be fixed by now.
Former state was generated on Thu Apr 15 2021 or about 4 years ago and was outdated in some occasions.
Regards,
CVH