Where is the trim edges filter? I got excited when I saw the STL videos (#4) which showed the use of trim edges in the filter pull down menu. It is a great feature to filter those noisy imported edges. What happened? Did we get a different version than in the videos?