This file was terribly outdated. The example is still silly (and won't

work), but at least the rest of the text is okay now.