Research moved

Lean, Re-Zerve, private bridge, and private DEX docs now live at docs.permissionless.money/research.

This site keeps Terp chain operator docs (nodes, validators, IBC, API).