Moved some old documents out of the top-level directory and into a folder olddocs/ to make things neater.