They did interesting things with priorities of keyboard shortcuts for the browser and changing the addressbar. Discussions: https://www.reddit.com/r/vivaldibrowser/comments/1jdzoyv/viv...