[coolreader18]

I'm hyped for this; RustPython uses gitter as its main communication platform for developers and contributors, and while it's certainly worked quite well for us so far, I was slightly worried the slow pace of development and the deprecation of mobile apps. It seemed (to me, at least, and I don't follow the gitter changelogs or anything - edit: just looked at them now, so yeah, what follows is pretty unfounded. Anyway,) like gitter was sorta becoming a ghost ship, still running along smoothly but not much was happening at the helm -- this also might be because I mainly use the Android app, which is deprecated, so I see very few updates to gitter if any. Anyway, yeah, I think this is a great direction to go for gitter, if only so I'll have an updated mobile app :)