No way they'll inflate their indexes even 20% and add complexity into their algorithms for 0.1% queries that won't bring any additional income.
[::]
as 8192kjshad09- suggested earlier in the thread. What standard index results are you going to filter? Since "[::]" isn't in the index, you won't have anything to go on. To do your back-tick really-verbatim searches, the index has to be enlarged.