Manual:UserOptions.inc

userOptions.inc is a helper file for the  file.