A joke, in any form, will always be done at the expense of
someone. This is how they're funny. Key is to recognize whether
characteristics being made fun of are someone's choices.
If they're not, the joke can still be funny to some, but is universally
unfair and inelegant.
OCD is a term commonly appropriated by nerds like
me. However, being a medical term strongly suggests
it's not someone's choice. So you're right.
So feel free to replace "OCD" with "meticulousness" or
something like that.
I just typed that up in a hurry to frame a design decisions in some
humour. But now it's just been over-thought too much and
wasn't really that funny to begin with. IOW you ruined it, :-)
So the other patch is fine too. If the rest of the commentary is less
controversial, can we spend more brain and typing on those other
topics I listed, perhaps?
João