[sytse]

Why is an AWS paper on azure websites? :)

[corobo]

Redundancy.

Real answer though it's a Microsoftian's (that's not a word) website https://lamport.azurewebsites.net/