Interesting. We write technical reports for customers every 1-2 weeks, and since customers can have technologies ranging from the very ordinary to the quite unique, there are often a number of words not in the dictionary that everyone has to add to theirs (this does not include names/words invented by the customer themselves, of course those would not be in there). I've already put my dictionary in our git, but people would have to put their internal git credentials into customer VMs and then still manually pull to get my updates semi-live. A dictionary server would solve this, I had never even considered the concept might exist.

Someone linked dict.org below which searches a bunch of dictionaries. Rootkit is one of the words my default vim dict doesn't know, this website knows it! It pulls from the jargon file and has a good definition. Nice. But then the next attempt, versioning: nope.

Does anyone happen to know if there is a community-maintained dictionary somewhere? Surely I'm not the first person to run into this. It having a brand names section (e.g. GitHub not Github) and acronyms (e.g. DKIM) would be a big plus, as those together make up about 2/3rds of the entries of my current custom dict. (I'd share it here but it's made during work time so I don't hold the copyright thereto, although I assume if I ask $boss on Monday it would be fine to contribute this back to any open source dictionaries out there.)

Edit: I was looking at the sources of dict.org. This one is worth browsing through:

The Devil's Dictionary https://web.archive.org/web/20170121170915/http://wiretap.ar... (protip for looking up a specific word: search the page for the word plus a comma). Two favorites so far: "HATCHET, n. A young axe" and "EGOTIST, n. A person of low taste, more interested in himself than in me."