On Thu, 14 Dec 2023 17:33:29 -0800 Brian wrote: > It's probably good it is broken, apparently that hasn't been updated > since "Fri May 4 05:15:31 2007" so it's guaranteed to be inaccurate.
FWIW, only the search feature is broken - all of the docs are complete (and probably inaccurate) - would be better to take the site down if the web docs can not be repaired
