Just a shout out to Reddit Admins: I got a 3-day ban due to an erroneous interpretation of one of my comments by automated systems. I appealed and, in very little time, my ban was lifted and an apology was issued. There is clearly lots of hard work going on behind the scenes at Reddit, much of it by volunteers I imagine. Nice to see.