@section[SOME IMPORTANT THINGS TO KNOW]

You do not have a lot of personal diskspace on the MicroVax,
and the space you do have is not backed up at this time.
You must backup the machine yourself by copying files to one or more
timesharing systems.
If you forget to backup your files and something deletes them,
you will never see them again.