Page not found in code review comments

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?