avoid GIT_PAGER
trigger error on failed build again
install LaTeX and dvisvgm in sysdeps
simplify integration rules
formatting of diagnostics