This comment references a page not found: https://github.com/runtimeverification/verified-smart-contracts/pull/318#issuecomment-601977580 https://github.com/runtimeverification/verified-smart-contracts/pull/319#issuecomment-601977020 Can the comments be updated with a working link?