This comment (which you've replied to, so ostensibly have already seen) does a good job of articulating how this only shows the top thousand comments at a time and doesn't update as you delete them.
Depending on which tool you deleted with, it may or may not have done a decent job of working around this reddit limitation to actually delete them all.
So it's not necessarily pretty straightforward, especially if you commented a lot.