Merge branch 'pseudoruprecht/latexbackend' of git://git.pipapo.org/mob/nobug into...