I hope that by now most CIDER users have heard of https://docs.cider.mx1 and I have spent some quality time there. Today I’m excited to share with you a few updates about CIDER’s documentation site!2 Also aliased to https://www.cider.mx for historical reasons. ↩ I know documentation is not an exciting topic for most people, but I’m weird. ↩