I think I found a bug. The command line autocomplete feature does not contain the DeleteHole command. As I start to type that command all other possible commands show up except for that one. The command itself works just fine.
That command doesn’t actually exist anymore, the functionality is simply part of Untrim or UntrimHoles now, so I guess there’s a built-in hidden alias in V8 to transition. In V9 it’s just gone.
Hmm on that version here if I try to type it in the command line refuses to let me type anything after “delete.” If I paste DeleteHole in to the command line it works.