Delete github link; correct hastexo.com link