o Rename EIP to Encrypted Internet in its preference panel. Fixes
    #4057.