[fafhrd91]

From repo activity Shio seems dead. And here is for gotham https://gotham.rs/blog/2018/05/31/the-state-of-gotham.html

[steveklabnik]

Yeah, that Gotham news happened after I made this comment. Good to know!