Feature request for dedicated Eraser Tool

Or another brushes docker that you can set to a different tag category. That would also help.

Made a new feature request following this discussion: