Files for check-in 1383d172b1d5e95a and within directory /doc sorted by filename

File ages are expressed relative to the check-in time of 2025-10-07 01:44:44.