Fix github link in example HTML