Delete unused function get_configuration_option_name().