Megatest: Files in docs/manual/ of 8728fa008e6d5b07

Folders for check-in 8728fa008e6d5b07 and within directory docs/manual sorted by filename

File ages are expressed relative to the check-in time of 2017-06-12 05:00:56.