doc/guile-optimize-3.txt: Update.