Guile Top Level and Module Optimizability.txt: Minor update.