> which is about not letting corporate marketing departments decide how the written language should work
Why do you keep repeating this? You say you were raised among linguists, but you're getting the most basic tenant of linguistics wrong. There is no such thing as "correct" language.
But more to the point, language allows you to write proper names as though they are registered or defined. It is not incorrect to spell it DigitalOcean, because that's the registered name.
If my name was JoeBob, you don't get to split up my name just because you think English requires it.
Why do you keep repeating this? You say you were raised among linguists, but you're getting the most basic tenant of linguistics wrong. There is no such thing as "correct" language.
But more to the point, language allows you to write proper names as though they are registered or defined. It is not incorrect to spell it DigitalOcean, because that's the registered name.
If my name was JoeBob, you don't get to split up my name just because you think English requires it.