Correct the link to the IEx documentation