doc/bugs.html : Link to the github issue tracker.