Editing Bagpuss

Summary:
Editing revision 3, which is the newest. This change is a minor edit.
(Visit Preferences to set your user name.)