Browse the recorded Ravelin APIs and open their documentation.