Folders from all 8668 check-ins within directory doc/dev sorted by filename

File ages are expressed relative to the check-in time of 2024-03-28 13:21:17.