The SDK check command checks that the SDK is up-to-date. In a distro context, the SDK check command should probably tell the user about using the package manager. We should have a test for that.