Sharding Phobos an alternative to sharding druntime

[Quirin Schroll]

On Friday, 21 June 2024 at 16:39:43 UTC, Richard (Rikki) Andrew 
Cattermole wrote:
> We've had a meeting to discuss splitting up druntime a bit, 
> although we got slightly off track during it.
>
> As part of it, it was suggested by Steven that instead of 
> sharding druntime, we should shard phobos, so here is my 
> proposal.

Why “instead”? If I understood correctly, sharding DRuntime would 
be good, so why not both? Sure, it’s more work, but it should 
also provide value, right?