Merge remote branch 'mob/pseudoruprecht/latexbackend' into devel