Re: Hints on fixing #2645: Properly merge preferences (dependency resolution)