I am using Ubuntu Mate 18.04. I installed VirtualBox from Software Boutique just a few weeks ago and while installing I noticed that the installation source was download.virtualbox.org/virtualbox/debian (as it was when I installed VirtualBox a long while ago on Ubuntu Mate 16.04). The install that I did added the download virtualbox org repo to my system. However I just noticed today while browsing the Software Botique, that it seemed like VirtualBox is not installed on my system (there is a green "Install" button, when usually the installed apps have "reinstall", "remove" and "launch" buttons). But I actually have VirtualBox installed. I noticed the difference is that now the source on Software Botique for VirtualBox is "Ubuntu Repository".
Is there some reason for this change in the Software Botique source? Is there some problem with the download virtualbox org repo? Should I also remove the installed version and remove the added source and reinstall from the Ubtuntu Repo?