Files in directory doc/dev of check-in 27d16b542bd82523