#33 Warnings on unused labels are unnecessary

[Anonymous]

Hi,

the warning “Label abc:xyz is never used” in the Issues list is unnecessary I think. It poses no problems during compilation whatsoever. Moreover, it is very good practive to assign a label to each section, each figure, etc. This is what I always do, i.e., I add a label to everything like

\section{Blah blah blah}\label{sec:results1}

because then I can refer to it at any time. Not using this label is no problem at all.

Now the issue list is cluttered with this label even though I will refer to it only later like: “as we saw back in section~\ref{sec:results1}”
Also I think we can save some time, by not computing this.

[Carnë Draug]

This is also true for the highlight. There's no need to highlight those things as warnings.