> Right, I guess I can forward this upstream quite easily. Cool, thanks!
> Is "Publishing" really the best german word for this? > I'm not a German speaking person, but it feels very English-y to me… Yes, we borrowed this word from English, see: https://de.wikipedia.org/wiki/Desktop-Publishing The English language borrows also some words from German, so this is just fine. :-)