cleanup: use Summary.ref#10

SkySkimmer wants to merge 1 commit intouds-psl:rocq-9.0uds-psl/smpl:rocq-9.0from

SkySkimmer:patch-1SkySkimmer/smpl:patch-1Copy head branch name to clipboard