never mind, it’s discussed here: Deletehole = Untrimhole?
bye bye deleteHole. I must say I preferred it to untrimHoles