Browse the recorded Alloy APIs and open their documentation.