glossaries-extra fails to recognize which entries have actually been used
It seems glossaries-extra
no longer recognizes which references have occurred (using \gls{}
etc.).
It seems glossaries-extra
no longer recognizes which references have occurred (using \gls{}
etc.).