One day, Vivaldi’s going to release an upgrade that will fix whatever causes the browser to occasionally crash whenever I start to use the developer tools. Today is not that day.