I haven't really dug into the code there, so maybe it doesn't have much. Sorry if it isn't really useful. The wiki page is probably a better resource.
The GitHub work is not really a great indicator of everything they are doing, or how busy they are. Most of the dev work is done 'behind the scenes'. A lot of the progress is not really visible until it gets close to done or is ready to check in.
This github seems a little technical stuff and need more evaluation and time to get into our heads. Hopefully seems beneficiary in the near future. Thnx for sharing such stuff.
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit