Hi,
thanks for your quick reply.
I see, multiboot with different /etc but shared /usr or /local could invite a lot of trouble if using different UIDs, indeed! Thanks for the quick explanation.
> (Apparently man used uid 13 in Debian 8 / Jessi but 6 in Debian 9 /
> Stretch).
AFAICS, user "man" has had UID 6 since at least Debian 6/squeeze
Ohh, this is interesting, so I wonder why I had a different value then, maybe something else was wrong with my system then...
Steffen