Full threadwolframio·Nice use of ripgrep (aka. rg or recursive grep) the best tool to grep today.View on HN