If @adonath is okay with it, we can remove this clause and instead add both authors to CONTRIBUTORS.txt.