(The tutorial has a separate copy of the copyright notice so that it can
stand alone without the rest of the documentation tree. This change
synchronizes the tutorial's copy with the rest of the documentation's
notice and with the code's copyright notice.)