TEXT userdoc-charter.txt
  TEXT userdoc-minutes-89july.txt
  TEXT userdoc-minutes-89nov.txt
  TEXT userdoc-minutes-90feb.txt
  TEXT userdoc-minutes-90may.txt