when i think of anyone, i can think of aspects of their personality that i dislike (for example, me not capitalising words or i?). but do you wish he'd retired because of his personality? or because you didnt think his contributions were worthwhile? or over-hyped?
btw i recently asked gpt this exact same question posed by op!, was quite the diplomatic response i got.