28 May
2023
28 May
'23
4:50 p.m.
Hi! See https://tex.stackexchange.com/q/687020/52406. The OP there cannot subscribe. Looking at the web archive, it indeed seems to be missing several emails: https://www.mail-archive.com/ntg-context@ntg.nl/ I do not know who handles this, but... Ping! /Mikael