On 09/04/14 19:08, Michael Palimaka wrote: > Hi, > > I noticed that kdeinit5 is in kinit, and its man page appears to be in > kservice. I guess the man page should be moved, but I'm not sure of the > best procedure with regards to preserving history etc. Huh, so it is. *Adds it to his TODO list* Alex