![](https://secure.gravatar.com/avatar/3d131c6a351a6b0092c19b389bd99cf0.jpg?s=120&d=mm&r=g)
28 May
2023
28 May
'23
10:50 a.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