Files in directory doc/dev of check-in f9b744bba2d798df