> I just checked and the integrated search is indeed working fine for me
> (Safari on Mac).
Good to know it works. There were some problems with this feature on
some browsers some time ago. Also the search box may be at the wrong
position (left instead of right top).
> "RANDOM_UUID", but I missed the "RAND" function
There should probably be a one line description for each function at
the very top (similar to Javadoc). Like that the RAND would be the
first link. Also the weight of the 'Functions' page should be above
'Advanced Topics'. I will add a feature request for that.
> Thanks for the
> pointer, and sorry for wasting your time.
It's not wasting time. The usability is very important, and if the
documentation search is not working correctly then it's a problem.
Regards,
Thomas