(TXT) userdoc-charter.txt
 (TXT) userdoc-minutes-89july.txt
 (TXT) userdoc-minutes-89nov.txt
 (TXT) userdoc-minutes-90feb.txt
 (TXT) userdoc-minutes-90may.txt