doc/AUTHORS
doc/BUGS
doc/README.agi
doc/TODO
