Recover manuals of Rapberry PI and Jenkins

URLs are unchanged.