since this is an internal implementation detail for how we obtain data from the devtools, I think it should be more private (not expose it as part of the external API of this package), maybe move under lib/src/devtools.dart.

To help keep the names globally unique, we also try using the name of the package as a prefix. For example

library coverage.src.devtools;