Browse the recorded sproof APIs and open their documentation.