Yeah their website is really great, especially the compare function! Sadly for the benchmarks they of course always use the benchmarks available at test time, so the scores they report for the two phones are not comparable.

Ah thanks for the links! I find it very hard to compare mobile CPUs, with all their different splittings between clock frequencies and so on. According to your link and most of the other stuff I saw the performances should not be too dissimilar in either way. Given hoe the actual performance of my phone is not one of the problems I think I will just get the Edge 50 Neo.

Yeah, but it seems like this is not for the Pro version. There are some ROMs on XDA, including an unofficial LineageOS one, but at least for me the days of running custom ROMs on my daily driver are over.