He's tried to switch to different Linux distributions but none of them has had a properly functioning indexed search box.
20 years × 16 hours/day × 365 days/year × 160 words/minute × 6 bytes/word is only 6.7 gigabytes. That fits in RAM on a modern machine and takes 150 milliseconds to search through by brute force. In 1990 it was possible you would need an indexed search, and in fact you might have to print stuff out because you didn't have disk space for it. Now you don't.
His motto is that if any human interaction on computer takes longer than a kid's attention span, the feature is unusable and it must be reworked or killed – and I completely agree with him.