yeah don't consider it, just do it. maybe it's just me being influenced by tumblr cultr, but 1) he won't know, 2) there's no point in arguing with someone if neither of you are going to change the other's mind, 3) it harms no-one. just block anyone you don't want to talk to
i'll admit i almost never blocked anyone on reddit, but there were so many people it was kind of useless. here it actually can make a difference to your experience, i think
congratulations to @Doctor_Spork@sopuli.xyz! it was well deserved, those epaulettes are fantastic!