Comment by saghm

Silly idea: just create those users manually without giving them a home directory? The names won't be available anymore. You could write a short script wrapping useradd (and userdel? I honestly haven't deleted a user in years and can't remember if that's the correct command) and define your own config file to contain the current set of names managed by the tool.