Board Thread:Technical Updates/@comment-126761-20190925192418/@comment-168424-20190926174001

Well, they could make the search better, but in the short term, your suggestion is probably better.