That's what I had to do (restart the system). The release is 4. It turned out to be the VM box of a different extension though. But if restarting the system is normal then I guess there's not a problem.