Type a tool name, tag, or category to quickly open any tool instantly.
Generate a table of contents page from PDF bookmarks
