What is the use in yii2-bootstrap/NavBar.php of:
line
102 if (empty($this->options['role'])) {
103 $this->options['role'] = 'navigation';
104 }
https://validator.w3.org gives a warning on an useless role in a nav tag.
So, should we remove it?