This page has moved to crypto.katestange.net/crypto/mini-sage-introduction/.