Might be useful to add RUNNING.txt, RELEASE-NOTES.txt and server-startup.txt to the fulldocs archive.
MAde sure RUNNING.txt and RELEASE-NOTES.txt are in there: thanks for the suggestion. I have no idea what server-startup.txt is.