Provide diagnostic command for troubleshooting #2
Description
We should define a command like :CoverageInfo or :CoverageDebug to show info to help users troubleshoot, e.g.: is coverage visible, what provider was used, what providers are available, are coverage stats against the current version or an older version…