emacs link
I get
/Users/kohlhase/localmh/MathHub/smglom/primes/source/primefactorization.tex:4:3: No verbalization for symbol 'prime-factorization' in '../../primes/source/primefactorization.en.tex'
can we add :1:
at the end of the second file path, then I could click on that in emacs.