@christianselig Thanks for the post. I was already planning to delete my Reddit account. Now seemed the perfect time to follow through, not that I've ever been a regular or prolific user.