Glide, an extensible, keyboard-focused web browser