Links for certora-cli-scripts-reorg