This issue is to track changes in the PureScript compiler that affect `docs.json` format and may break things for us. 1. https://github.com/purescript/purescript/pull/3715