[tor-commits] [tor/master] config: Log the option name when skipping an obsolete option