I wondered how many pixels would be lost, if this taller notch was put on an iPhone 12. Here is my working out, happy for someone to correct me though.Making the notch taller, if only a fraction, is not a good move.
iPhone 12 Pro screen = 460 PPI
460 PPI = 181.1 pixels per cm
181.1 ppcm = 18.11 ppmm
Speculated iPhone 13 notch = 0.05mm taller
18.11 ppmm * 0.05 mm = 0.91 pixels
So let’s round up to a pixel. It’s imperceptible.