control: retitle: rename thin-client-server profile to terminal-server profile
Hi, shall we rename the thin-client-server profile to terminal-server profile now? *Now* seems to be a good moment, as we would still have time to update translations and the manual (and it's translations.) Reading through the bug history of https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=588510 it seems to me terminal-server profile seems to be the best name. (And the clients can either be called workstations or thin-clients or terminal-server clients, depending on the context.) What do you think? (If we once again cannot agree, I'd suggest closing this bug report and keeping things as they are…) -- cheers, Holger
signature.asc
Description: Digital signature
