Comment by henryhale

great work over there.

allow users to pin or star tools for quick access - it would be nice to have.