Our internal wiki uses the built-in MySQL text search. We're
sysadmins, so three-letter abbreviations abound. The default is for
MySQL to search only on words of four or more letters - how do we
change this to three or more?
(This is undoubtedly in the manual, but I couldn't find it ...)
- d.