Reddit restored the last 6 months of my comments after I deleted them

old.reddit.com

In the thread an admin lists technical reasons the deletion may have failed and encourages a retry with some additional advice for success.

A retry with what tool? Shreddit usually (before this weird situation on Reddit) was working fine.