I also recently made a browser extension because those two tools are outdated / hard to use: https://chrome.google.com/webstore/detail/bulk-delete-reddit...

Let me know if you try it! Still developing and would love feedback.