Hi, just for my curiosity I wonder why the numeric UID values matter at all, for example:
update-passwd has found a difference between your system accounts and the current Debian defaults. It is advisable to allow update-passwd to change your system; without those changes some packages might not work correctly. For more documentation on the Debian account policies, please see /usr/share/doc/base-passwd/README. The proposed change is: Change the UID of user "man" from 13 to 6 (Apparently man used uid 13 in Debian 8 / Jessi but 6 in Debian 9 / Stretch). Normally I would assume that the numeric values would not be use anywhere at all, only the symbolic names. If the numeric value matters, why are their values no kept across releases? Steffen