Don’t tell him he’s annoying. Call him out when something’s not appropriate for the workplace (like the fart jokes) but don’t make it about his personality.

Consult HR on how to go about the quirks that aren’t inappropriate but still very annoying. They can give you the language toolbox you need.