Sometimes a Google site-search works better than the Forum’s in-built search box (top-right).
In case someone has not noticed, there’s a Google custom search box at the bottom of the page. It is a site-specific search for the forum.
Today, I noticed it was not working right. Having updated it, I thought I’d post so that others who thought it was broken know it is fixed.