That would fall well into the realms of marginal gains for me! Never even considered rope weight.
Honestly it’s bizarre to me that nobody is looking at Edelrid ropes. By far the best on the market imo.