I just want to point it out because I strongly advocate for cardinal systems like Approval or STAR (I also like proportionate representation). The big reason is that we have a 100+ year experiment that disprove Fair Vote's (the one pushing RCV/IRV) largest claim: "solving the spoiler effect." The math doesn't side with the claim either, but Australia is a fantastic experiment. So if we're going to do something new, why not better? Especially if better is also simpler (approval is near trivial).