Changing PHP FPM Versions in Virtualmin

The issue is that Virtualmin currently only supports a single version of PHP FPM and seems to want to use PHP 7.2 no matter what I do, and I want it to use PHP 7.3 which is also installed. This appears to be a long-standing issue with Virtualmin. I solved it by...