[bug#39159] [PATCH] Add Tokei

[John Soo]

Thanks Efraim,

> On Jan 19, 2020, at 11:26 PM, Efraim Flashner <address@hidden> wrote:
> 
> I've been applying the
> packages locally and making small changes where necessary.

I should have said I could make the changes discussed on the coordination 
thread. Thanks for putting in tv e extra work.

John