Is there any ongoing development on this coin? I don't see any activity on Github since April, when the only developer left the project.