Update HIPPEROS address following a migration to Github.