Replying to @jyasskin and @hober, @marcosc
I think that’s a little different? Maybe I misunderstood the issue but that looks like a daunting list of dfns, whereas I think the question is to have refs listed in the refs but without the ugly [REF] bits.
♥ 1