Edited 2025-03-19 to reflect the discussion result.
The new entries should be named:
"User Manual" and ~~"Admin Manual"~~ "Administrator Manual"
The new files contain basically the current documentation pdfs plus some new info.
The old documentation entries disappear automatically when the respective pdf is not available at build. For the time being I would therefore keep the entries on the Help menu until the switch was a success. But I leave that up to you, @ikloecker. At least until the admin manual is finished (likely not for vsd34) we will need to keep "More Documentation" and the documents there.
The new documents we link to will be (re)named for VSD and GPD in the respective different build dirs as follows:
user-manual-en.pdf, user-manual-de.pdf
admin-manual-en.pdf, admin-manual-de.pdf