Goodbye Reddit

Today I used the Bulk Delete Reddit Posts & Comments History Chrome extension (and happily paid the $8 for full version and support the developer) to delete every single post and comment on my 17-year-old Reddit account before submitting the account for deletion. I went through the trouble to delete everything