I agree. I believe I’ve seen the default android player has a similar button as the one you’re describing. It’s up there with my biggest annoyances with iOS. This shortcut automation does help but the real solution is to add a rotate button or gesture.The problem is the default iOS media player. It doesn't have a rotate button. This means if you always have the lock on, you must toggle it off while watching a video on the default player.
YouTube has this button. Most popular video apps have this button.
Apple refuses to add a rotate button in the default iOS video player.
In the last 5 years, I don't think I've ever toggled lock orientation off except for trying to watch a video via the default iOS media player horizontally.