Fix broken link to tickets in docs.