Once upon a time, there was a soft edged correction tool which made for nice feathered edges when erasing. Now we only have hard correction or erase stroke. I miss this tool and kindly request its return with no particular urgency.