> That’ll happen, someday, but even then, I’m not sure we’ll remove > labels; at least we won’t remove them overnight, for sure. ;-)
That may be a good fit for a guix lint warning, maybe first as a --pedantic mode, then after the first rush of newbies-editing-the-world, it can be turned into --Werror... -- Vincent Legoll
