Browse the recorded Hyperproof APIs and open their documentation.