Out of curiosity, does anyone know why the Command module is part of Core_Kernel and not Base? It seems like something really nice to have in Base, and is often the only reason I have to pull in Core or Core_Kernel instead of just sticking to Base and Stdio.
I think the right thing (which I expect we’ll do eventually) is to move it out of Core_kernel, and into its own library. I doubt it will ever get added directly to Base, though.