Use default manifests for coverage trees and env themes. Buddy: Jonty D