Does that same reasoning of yours apply to JavaScript, given that person's involvement with its development? For example, do you disable JavaScript in whichever browser(s) you use? Do you avoid all desktop and mobile apps that may contain JavaScript code?
Does it also apply to Mozilla's offerings in general, given that person's significant involvement with the formation of that community, its organizations, and its software? Do you avoid Firefox, Thunderbird, and so forth?