Can we write a little description of what the format of userfile is supposed to be here?