What tool/plugin is this?

Sorry to ask such a lazy question, but i am sure its a really easy question for someone to answer.

In this video at 2:23 the guy clicks a tool which deletes some stray/broken arcs…

Anyone know what this is? Looks like it could be really useful.

Edge Tools² > Erase stray curves

Thanks… Appreciate you taking the time.