Broken link for **Use of Automated Reasoning for S3 Strong Consistency Launch**

[carlosahs]

Link for Use of Automated Reasoning for S3 Strong Consistency Launch is broken. Right now it points to https://www.twitch.tv/videos/962963706?t=0h15m15s (code pointer) but content is now unavailable:

This is part of the Case Studies page and makes users lose trust in links. Could you please provide the correct link?

[carlosahs]

Deep dived a little bit and found AWS Pi Week 2021: Amazon S3 Strong Consistency | AWS Events video on YouTube which is also part of a AWS Pi Week 2021 - Celebrating 15 Years of Amazon S3 playlist. Could we link to that video instead?

[carlosahs]

For the sake of speed, decided to create #916. Could you please confirm if change is ok?