This releae seems to have had a substantial update to the Shell tool. It's looking very good over here. ;-)
Thank you, Michael.

Martin.