You could add the Sony ZV-1 to the list (original version, which has lens OIS) - it's basically the same size and weight as the RX100 V but more video orientated.
I own both the ZV-1 and an HX99 (which is tiny, shoots 4k up to 30p, with a pop-up EVF and a fantastic zoom range for a camera that small - helped at the long end by only having a 1/2.3″ sensor, of course).
Unless you really need the zoom range or EVF, the ZV-1 shoots better video (with a mic jack too) and very nice stills. You can also get a JJC stick-on 52mm filter adaptor for it - https://www.amazon.co.uk/dp/B07GWQ6CXL
(The Sony menu system will annoy you though if you're used to Panasonic cameras...)