Update Wall of Browser Bugs entry for #14972

http://crbug.com/175502 is fixed in Chrome 40 and has been closed.
But Windows is still broken due to http://crbug.com/438064 ,
  which is open and currently targeting Chrome 41.
Whitelist <li role="separator">...</li>

Refs https://www.w3.org/Bugs/Public/show_bug.cgi?id=27120
Refs #15263

[skip sauce]
Merge pull request #15269 from twbs/role-separator

Whitelist <li role="separator">...</li>
[skip sauce]
automatic grunt dist
Temporarily revert "automatic grunt dist" so Grunt bot will run again.

This reverts commit 2c1c885ed4978900fb2a5e3310a428fd72b89c12.
automatic `grunt dist`
Add grunt-contrib-compress.

Now, the zip file is created when running `grunt docs-github`.

[ci skip]