command does not make all the documentation - specifically it does not make the ThornGuide consisting of documentation for all the thorns. It does make the individual thorn documents. Is there a reason for this? Perhaps in the past this was a performance issue, but the documentation can be generated in minutes now, and typically this is not done very frequently. I think we should change the system so that AllDoc generates all the documentation.