Proposal #3455: Add a setting to change how Unicode encoding errors are handled