you can’t delete comments from modlog, except for admins purging then, and then there is a purge modlog entry. purging also only applies to the local instance. the reason that you don’t see it in modlog is that banning a user while selecting to also remove their content is only going to put the ban in modlog currently, so the comment removal was never there in the first place.