Thanks for the kind words.
I'd give up the half stop advantage for the more compact size of the 35/1.4. You might also check out the 40/1.4 nokton. There's a review on my website. The 40 is great to use with 35mm framelines on most RFs. I'm not sure what body you decided on but the 35 can be a tad tricky to focus on the R4 wide open, although it should just be enough. I switched from a 21/40 combination to a 15/28/50 combo recently and I love it. The 28/1.9 Ultron just blows me away.