Unfortunately I’m not familiar with that theme.
If the automatic replacement is not supported, then the only solution is to manually place the shortcode. Because every theme is very different from each other, there is no universal guideline on this topic unfortunately. The best option is probably to ask the developer which lines to replace exactly.
If you want, I can take a look at the theme source on your test server, to see if I can find the correct file/code.