David A. Thomas (software developer): Difference between revisions