docs: def register(name: str):
      """
      Registers a coverage extractor class under a given name.
  
      .. code: python
  
          from bugzoo.mgr.coverage import CoverageExtractor, register
  
          @register('mycov')
          class MyCoverageExtractor(CoverageExtractor):
              ...
      """
      def decorator(cls: Type['CoverageExtractor']):
          cls.register(name)
          return cls
      return decorator