A new version of Tools was added to project The Inbox:
http://source.squeak.org/inbox/Tools-jr.1174.mcz

==================== Summary ====================

Name: Tools-jr.1174
Author: jr
Time: 28 August 2022, 10:51:11.371406 pm
UUID: efb61b0e-9d23-4f49-aa80-641600c40485
Ancestors: Tools-jr.1174

Allow conversion of the navigation history to a collection with all the visited elements and to remove elements from the history.

It is required for Lexicon's "-- active --" category list item and for its "-" button to remove messages from the active set.

=============== Diff against Tools-jr.1174 ===============