Both lenses look impressive, but they appear rather substantial in size. It would be similar to be using an SLR camera with large SLR lenses. A lens half this size may be a better fit for most RF users.
Who has made a f/1.2 or faster lens that is small? I agree that it is the holy grail, but I don't think it is happening soon.