I have firmware loaded on my HL2 IO Boards that automatically use Alt-RX on those VHF bands. While Thetis and PiHPSDR (to my current knowledge) handle this task pretty well, most other SDR app only handle a single band and/or offset.
https://github.com/K7MDL2/HL2_IO_BOARD_BCD
I found my main.uf2 file which is the compiled image file you load onto the Pico, no compiler/SDK work required, just drop in the uf2 file as normal for Pico. It was built with Pico SDK 1.5.1. I am now trying to set it up to compile under Arduino as I recently started Pico work on my CW keyer project and have got Pico going there fine.
If you setup Thetis and PiHPSDR correctly it will not conflict with the firmware actions. An error in config will result in the relays chattering as each side fights for control. For most other apps it just does the right thing.
I put together this Wiki tutorial page with screen shots for how I configure Thetis for use with my split IF transverters on all VHF bands 50 through 1296 leveraging the IO board.
https://github.com/K7MDL2/HL2_IO_BOARD_BCD/wiki/Thetis-Configuration-for-Transverters-with-Split-IF
Mike Lewis, K7MDL