KDE frontend to the popular TeX/LaTeX typesetting system