R5/6 owners, what EF lenses have you & what RF lenses in your future?

I've only had my R5 for a couple of months and man do I love this camera. During this time I've been trying out my suite of EF lenses with the EF-RF adaptor on this camera. I also have a 5D Mark IV which I've decided to keep as a second body, so I probably won't be getting rid of any of my current EF lenses anytime soon. What EF/RF lenses do you have currently and how do your various EF lenses work for you on you "R" camera? What RF lenses do you have now and what RF lenses are on your wish list?

I currently only have one RF lens - the RF 24-105 f/4, which I bought with me R5. My current EF mount lenses are as follows (with notes as to how well each works on the R5):

Rokinon 14mm f/2.8
This lens is manual focus only and mainly for night-sky and milky way photography. I've not tried it yet with the R5, but since it's manual focus only, I don't anticipate any issues.

EF 50mm f/1.4
This lens works great on the R5. AF is reasonably fast and accurate. Used mostly for walk around lens and sometimes portraits, neither of which requires ultra fast AF. The AF on this lens is not blazing fast but it's quite adequate to the task

EF 24-105 f/4
I already have the RF version so this lens is only for my 5D4. Have not tried it on the R5 but what's the point.

EF 135 f/2
This lens works great on the R5, AF seems plenty fast and accurate.

EF 70-200 f/4 Non-IS
This is the least expensive EF 70-200 from Canon. It is non-IS and I find the AF a bit laggy and not good at all in low light. I'll keep this for the 5D4 but plan to get an RF version with IS for the R5

EF 300mm f/4 IS prime
My only issue with this lens is that the IS is older technology and rather noisy. Still, it seems to work ok with the R5.

Sigma EF 150-600 (C)
After setting the camera and lens settings to what Duade Paton suggested, I took this lens / R5 combo to Bosque Del Apache. I was very happy with the results. The AF was plenty fast (sure, not as fast as the RF 100-500 would be but so what, this lens is a little brighter and 100mm longer reach). I've no overwhelming desire to replace this with an RF equivalent.

Of course I still want to get some additional RF lenses, but given the EF lenses I already have, these are the RF lenses I am currently considering in my future, over next couple of years (subject to change of course)

RF 70-200 f/4 IS
Even though I already have an EF 70-200, that current lens does not have IS. Also, this RF lens is very compact and light, which would make it a perfect lens to hike with. The f 2.8 version I don't feel is worth the extra $1000 (to me). First, it's noticeably heavier and, while one stop more of light is nice, for what I'd usually be shooting (landscapes), I wouldn't use that extra stop often enough to warrant the extra $$. From all the reviews, it appears the IQ is just as good or VERY close and the bokah, while not quite as creamy, still is very nice compared to the f/2.8. I'll use that $1000 towards a couple of other lenses.

RF 85 f/2 IS
This would be a companion to my 50mm for those times I want to do portrait shots, but want a little longer focal length. I've always loved the 85mm focal length for portraits, but can't see myself plunking down $2500 for the f/1.2 version. Comparisons I've seen to the 1.2 version have been very favorable. If I was making money as a portrait photographer, I might consider the f1.2 version, but as a hobbyist, the 85 f/2 looks to be great value for the money. Besides having IS, this lens also has macro capability, albeit only at 2:1 and not 1:1.

RF 15-35 f/2.8
At $1999, this is the most expensive lens on my wish list. As I shoot a lot of landscapes, I've always wanted this focal range, and this lens scratches that itch.

RF 800 f/11
I've seen some mixed reviews on this lens, but 800mm is a lot of reach for $800 (that's a dollar per mm). A lot of people balk at the idea of an f11, but I've seen some pretty good results from this lens in some reviews. The fact that my R5 can handle some pretty high ISOs, that might compensate for the lack of brightness with this lens. I'd probably rent this beast first before making a final purchase decision.

Honorable mention: RF 100 f/2.8 macro This isn't an immediate desire, but I could see myself maybe getting this lens to get more into macro if, for example, I decided not to get that RF 800mm.

So that's my current stable of EF lenses and my wish list for future RF lenses. If you're an R-body shooter, what does your wish list look like?