Browse the recorded Walnut APIs and open their documentation.