Comment Comment by gervase It seems so: https://github.com/lunaroyster/LaTeX-search parent gervase 7 years ago
