WIP #3412 documenting overriden options