made CONFIG_OPTIONS more clear
updated monitor server CONFIG_OPTIONS docs