Type a tool name, tag, or category to quickly open any tool instantly.
Strip comments, highlights, and links
