Fix link to manual, now published through github pages