Add Tracker1's request: if the dir user/#### (0-padded 4 digit decimal user

number) exists, delete it when deleting a user account so that the directory
may be used for 3rd party user data with any (unique) filename.