Are there any plans to migrate the player source over to GitHub, as was done with Stage?

---
James