I don't think these need their own module. I guess it wouldn't hurt, but given that they aren't much code it might be cleaner just to put them in this file.