Clean up formatting of GitHub badge in HTML
Update suggestions when repos change