Moved doc files back to where GitHub wants them