[henryhale]

great work over there.

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

[diNgUrAndI]

You got it. Just pushed the change. Check it now.