I find it funny that this is the only answer from someone affected, and it doesn't even attempt to explain what is wrong with the name, even as a snark.

Soylent: $133m in funding

Coq: still going strong after 33 years

I am not sure your examples make the point you think they make. Names don't seem to matter.

This seems an interesting over-reaction to me. Toot is an onomatopoeia that's as old if not older than the English language. It is enshrined in ancient, common aphorisms such as "tooting one's own horn". It's a childish word certainly, and it is childishly used sometimes for farting jokes in addition to horn noises and trumpeting sounds, which I can understand feels "ridiculous" as in silly (to which I retort once again: it's fun, let people have fun, people can be children on the internet and be silly sometimes) but I can't understand "ridiculous" as you put it in the same context of "bad" much less do I find it comparable to your other examples.

Soylent is a "Torment Nexus" style name, which is bizarre (and yeah, probably bad). (The "Torment Nexus" meme is: Scifi writer: I have described the Torment Nexus as a warning. Do not build the Torment Nexus. Company: The Torment Nexus sounds like a great idea. We are just about to ship our MVP of the Torment Nexus!)

Coq unfortunately sounds like genitalia to an English audience, and there are tons of hang-ups (for good and dumb reasons) about referring to genitalia in polite company. It's very different level of cultural hang up than "silly euphemism for a fart". Also, for the record, it's a tool from a French team and named a French word that has nothing to do with the English genitalia word that it sounds like. (It is related to the English poultry homonym and why English even has such a homonym.) Not all programming needs to be Anglophilic or consult with English speakers first before naming all their tools.