root/olares3: links for theorem-relay-client