Cutting off Google’s control of the world’s most popular browser may be necessary.