100755 blob 78a84d6ca2c2fb20cb0236e554acc12367cb7185	extensibility.html
100755 blob a2c376eb8736c4da68f4a24cb561f63e42ed645b	history_and_acknowledgements.html
100755 blob dfc769b0aaea10d99ffcd46f318165ef56212d5e	pitfalls.html
100755 blob c54e47817e60c0e33ca2f2a55f8bece47f55671b	portability.html