How to record HDR video on Android

It didn't start with Android 13, but recording video in HDR is only going to get easier when you've got the right phone in your hands.