A HC climb has to be double as hard as a cat 1 climb, so I think it's right to give double points. Maybe a more even distribution between placings, but route is the most important factor together with the double points for select climbs (this year for Ventoux, Portet and Luz-Ardiden only, which was always favouring a GC contender).
Of course, the other problem has then been the weird bleeding down of categories in recent years with some decidedly dubious awards of cat.1 and HC status. The Tour has usually been the most consistent of the GTs with its categorising, what with the Vuelta deciding to give cat.1 and cat.2 to some fairly short and middling climbs in the north of the country, and ESP to some 6km climbs because of steepness, but then not categorising some climbs that are actually almost as hard as things they're giving cat.2, and the Giro will have a stage with about a dozen climbs worthy of categorisation then only give categorisation to one of them, and it's probably the fourth easiest of the 12.
The double points for summit finishes has served its purpose now, as with the increased number of MTFs in modern cycling we are seeing it become easier to win the jersey at the Tour by default without ever really trying for it. The current system would have been better on the routes from the period before this, with a reduced number of MTFs meriting the double points (2 HCs and a cat.1 - Hautacam, Prato Nevoso and Alpe d'Huez in 2008, same again with Arcalis, Verbier and Ventoux in 2009, and 1 HC and 1 cat.1 with Avoriaz and Tourmalet only in 2010) and a better distribution of points (if you recall, you used to get 4,3,2,1 for cat.3, but then 10,9,8,7,6,5,stop for cat.2). On, say, 2015 (3 HCs and a cat.1 - Pierre-Saint-Martin, Plateau de Beille, La Toussuire, Alpe d'Huez) or 2019 (2 HCs and 3 cat.1s - Planche des Belles Filles, Tourmalet, Prat d'Albis, Iseran (would have been Tignes) and Val Thorens), that's a lot more double points.
The other thing is, while it is hard to argue that Tadej Pogačar hasn't been the best climber in this race - just as Chris Froome was in 2015, the "king of the breakaways" stigma is much less here than at, say, the Vuelta, and it has become a kind of strong consolation prize - see the likes of Majka's wins, and the battle at the end between Yates, Quintana and Bardet in 2019 (which Yates probably would - and should - have won had it not been for the annulments and shortenings); in this race, Pogačar quickly decimated the competition and so the calibre of rider contesting the KOM for most of the race (rather than just the last week as has been common in recent years, last year in particular) and the ferocity of their competition for it, has been greatly improved, so it would be a shame for a couple of summit finishes to then hand it back to Pogačar by default.