[tex-eplain] Warnings about redefinition of xref labels

[Dorai Sitaram]

I had written:
> By the way, here's a quick-and-dirty def of \href in terms of \hlstart that
> seems to work OK.
> 
> \def\href{\bgroup\uncatcodespecials
>   \catcode`\{=1 \catcode`\}=2
>   \hrefI}
> 
> \def\hrefI{\egroup
>   \def\hrefII{#1}%
>   \hrefIII}
> 
> \def\hrefIII#1{\hlstart{url}{}{\hrefII}#1\hlend}

That should be \def\hrefI#1{...}, of course.

Dorai