There is now a solution at https://tex.stackexchange.com/a/510641/113546 -- Piet van Oostrum <piet-l at vanoostrum.org> WWW: http://piet.vanoostrum.org/ PGP key: [8DAE142BE17999C4]