Good news, https://github.com/BestPig/gb-studio#analogue-pocket-export this now exists! You can download a .pocket file when you download the game.
In general, for anyone reading, I recommend pocket owners get a GB Everdrive or Flash Cart so you don’t need to rely on .pocket exports: