I think we are ready to merge.  Please replace these two lines with entries for yourself and @adonath in CONTRIBUTORS.txt.