This is why I love sagemath, and open source in general. I cloned the repo a few weeks ago after hearing him mention how he is mainly the sole developer. It's a huge undertaking and i know how draining something like that can be for motivation.
I may not have time to do a lot but i am gonna join in and help as much as possible. Documentation, bug fixes, whatever. This project deserves it imo