jp5/cu114: links for lean-contracts