ctrl-up works, f3 not I'm using an external keyboard. The problems occurs only in Monterey.