Attempting to update Informlib's URL in git.