its obnoxious but i honestly think this subreddit invests too much energy into this kind of thing tbh if the worst thing about ocd was stupid stuff like this then it would be a much easier thing to deal with