> personally, I do not think that (incompatibly) changed user options or > configuration settings for this port are 'worth' an entry in UPDATING, > thus I skipped it. UPDATING entries are cheap. It can't hurt to have this as an entry to help users of the port.