Browse the recorded Lean-to APIs and open their documentation.