Awesome, thanks for the explanation and solution. I will implement accordingly.
Bytw, I particularly like your idea of the mechanism to fix 3rd party modules automagically. But I can appreciate the complexity and hornet's nest involved in that one.
Also just last question for now @datakickWhen I started building this site, PHP 7.2 was kinda still fine with 7.3 recommended, with the dev site running 7.2. Assuming that Panda and other third party modules will still work, which PHP version do you recommend for the live site? Should I go for 7.4?