Board Thread:General Discussion/@comment-25246763-20161105200223/@comment-24473195-20161116184300

Indeed, that was my point, a better solution would be investing in backporting the Cirrussearch as that seems to be actively addressing improvements to search but that will probably take even more time (if ever) due to the older Mediawiki version used here.

It seems that Ark25 has already reported this issue, and if not it is likely someone already did so years ago.

In any case the second issue I mentioned might be easier to fix, and has probably also  been reported before.