Microsoft should hijack his repo and disable his GitHub account just like they did with colors.js.