And now I sold my 35mm online! I'm still not sure if I order the RF 35/1.8 or the EF 35/1.4 II. 2/3 of a stop might be really useful in low light, but it costs the double!
I still have a couple of days to think about it because I have to wait for the payment process of the one I sold.
Edit: Going by dxomark, the 35/1.4 II is the second sharpest canon lens, only beaten by the 300/2.8. I found an used one for a reasonable price, so I'm probably going to buy it if it's on sale by the time I get the money.