Auto merge of #3774 - notriddle:patch-1, r=flip1995

Use normal HTML label semantics for filter

The improvement is that you can click on the label and it'll select the form field.

Author: bors

util/gh-pages/index.html

@@ -76,8 +76,8 @@ <h1>ALL the Clippy Lints</h1>
                 <div class="panel-body row">
                     <div class="col-md-12 form-horizontal">
                         <div class="input-group">
-                            <span class="input-group-addon" id="filter-label">Filter:</span>
-                            <input type="text" class="form-control" placeholder="Keywords or search string" aria-describedby="filter-label" ng-model="search" />
+                            <label class="input-group-addon" id="filter-label" for="filter-input">Filter:</label>
+                            <input type="text" class="form-control" placeholder="Keywords or search string" id="filter-input" ng-model="search" />
                             <span class="input-group-btn">
                                 <button class="btn btn-default" type="button" ng-click="search = ''">
                                     Clear