Anyone know what happened to the effort behind https://github.com/markdown