Should we maintain the german version?

[mikrosk]

With each update I realise this: there are basically two versions, german and english. When @th-otto updates something, he usually updates also the german flavour but for the rest of us this is not so easy.

So I've been wondering, is there any value of maintaining both? It can be even misleading, if a german user finds some result on Google and finds missing/outdated content (while english is ok).

Also, it would remove the annoying German / English crossing on the title page.

@pulsar122 @th-otto any thoughts?

[th-otto]

For me & Gerhard, it is of course easier to update the german version, but it is also always double work. I think there are also places where the english version has just been copied verbatim to the german part (and in a few cases also the other way around, when only a german version of the original documentation was available).

So i'm not really sure about this. Gerhard & others have put a lot of effort into collecting various pieces of information of long abandoned projects, and update tos.hyp with it, some of it was only available in german. It would be a shame to now get rid of it. And of course, it would also be a lot of work, since you have to check every page whether an english version is actually available.

Most of the time, current changes are quite small. So if someone can't translate the english version, i would just ask to update only the english part, then drop us a note.