moved GUI documentation files to main documentation tree
Authored by: berndspeiser 2023-09-17
Parent: [r817]
Child: [r819]