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.

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