Fix #3472: Configurable option to encode spaces in dropdowns