4 ms·

I had a look at the obvious things, by no means exhaustive - but I hadn't heard of Sphinx, thanks for the suggestion.