Add txels to AUTHORS.