What happened to the CodiMD repositories? CodiMD was renamed to HedgeDoc. We moved all of our repositories to https://github.com/hedgedoc.