Manual:UserOptions.inc/en

userOptions.inc is a helper file for the file.