Love this! Only question: Why is the search bar only on /tools ?
Good catch. I just fixed it!
great work over there.
allow users to pin or star tools for quick access - it would be nice to have.
You got it. Just pushed the change. Check it now.