Docker repository is not listed

If you’re encountering an issue where the Virtualmin repo and similarly configured repos aren’t listed in Webmin, you can apply the following patch to resolve it:

webmin patch https://github.com/webmin/webmin/commit/6982304

This issue was addressed a few days ago.