bb3004f3_Chapter__Difference_from_ENVY
[Selection] update envy [Operation] For selected applications, updates the currently loaded ENVY editions from the currenly open GemStone session [Difference from ENVY] 
New option
Chapter
Difference from ENVY