Brave forces rival browser 'Braver' to change its name

The trademark dispute ends with the smaller browser rebranding.