Re: rethinking @def*

[pertusus]

On Tue, Aug 02, 2022 at 02:44:18PM +0100, Gavin Smith wrote:
> 
> My preference is to use <var> and to remove the outer <span> (corresponding
> to @r).

Looks good to me, I'll implement.

-- 
Pat