Thanks to both @Joe and all contributors for this 7.20.1 update 
We tried it today July 17th. But it failed. I created this ticket with steps to reproduce at https://forum.virtualmin.com/t/update-failed-webmin-7-10-0-to-7-20-1/127969
Thanks to both @Joe and all contributors for this 7.20.1 update
We tried it today July 17th. But it failed. I created this ticket with steps to reproduce at https://forum.virtualmin.com/t/update-failed-webmin-7-10-0-to-7-20-1/127969