Replace arbrandes GitHub links with hastexo