>> I suppose this is an option, but the current title of the SRFI is
>> 'Topological sorting', not 'strongly connected components' [...]
>
> so myself I think it's more a 'can be added' than 'should be added'.

The two tasks are related. But if adding the procedure delays
finalization by a lot, I agree that it should be omitted.