Re: [Pharo-project] Issue 3447 in pharo: Do we need to menu entry "Shout Workspace"?