fix: replace mentions of "tokyo" with "tokio" (#813)

fix: replace mentions of "tokyo" with "tokio" (#813) #640