<p><span class="h-card" translate="no"><a href="https://types.pl/@wren6991" class="u-url mention">@<span>wren6991</span></a></span> what kind of coverage data would you like to collect? I'd like cxxrtl to have various kinds of coverage collection</p>
