Here are 3 captures from different videos. I agree, it looks like a dead pixel.
I don't see it when I turn to default ML, so it must mean that we get more detail from the sensor now, the image is less smushed.

Any idea of a good way of removing it? I would really apreciate some way of taking it out, it's quite obstrusive and spoils the videos a bit.
Edit - Tried with a version of Neatvideo but nothing, it's still there. :/
Best,
Xermán