Le 11/01/2020 à 11:26, Jürgen Spitzmüller a écrit : > We (still) use dvipost for change tracking markup in DVI/PS output (if > the dvipost package is available). I propose to remove that for 2.4 for > the following reasons. I am all for it. JMarc