Where is it the file that stores on disk the micro settings and the user assignable?