These were moved to the 'techdoc' subdirectory.