How to hide the 3xl notch

[sulla1965]

https://thenextweb.com/plugged/2018/10/10/heres-how-to-hide-the-pixel-3-xls-giant-notch/

 

[Itsa_Me_Mario]

That explains why I couldn't find it. Yep, it's in dev settings.