I made PR #84 to fix a link but it got closed I don't know if I have to notify someone in order to have my change merged or if I just have to wait.