Am 30.05.23 um 22:46 schrieb Ulrike Fischer: > platex-dev uses a different engine than platex on my system (e-uptex > versus e-ptex): not only on yours. Looks like a bug. frank