ParentFull threadmapgrep·Great tool. Any plans for a browser plugin that lets people see what others have highlighted on a given page?View on HN