These users should not be needed here, as we have them in setup.pp directly, and this manifest doesn't seem to use them.  If we want them to be exposed as configurable, then maybe here makes sense, but if they are just default values, I don't see a need for them in this file.