The [UserOptions] section is different in that any
arbitrary key/value pair can be specified here. These key/value
pairs can be accessed in a servlet by referring to the key of
the pse.user_options dictionary. All values in this
dictionary are strings.