This is not the first time that we've had semantic search as a "Ctrl-F" replacement in chrome: I actually cited the precursor to this in one of my papers: htt

This is not the first time that we've had semantic search as a "Ctrl-F" replacement in chrome: I actually cited the precursor to this in one of my papers: https://chrome.google.com/webstore/detail/fuzbal/lidjpicdkcgjdkgifmmpalkibjeppdof https://chrome.google.com/webstore/detail/fuzbal/lidjpicdkcg...