The STP website has moved to https://stp.github.io/stp/.