Renaming VirtualCoverage stuff to CoverageView after discussing it on the community