Closed aronatkins closed 9 months ago
Split from #1006; we will probably not take this path.
Closing per discussion in #1004; created this PR to record the idea.
Split from #1006; we will probably not take this path.