[dhon_]

Yes you're right. I'd assumed that tokio was used internally in the UI but from a cursory read it doesn't seem to be the case.