Issue #4768: update the AUTHORS.txt

Update the AUTHORS.txt