[Pharo-dev] GTPlayground Play Button Semantics