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