Am Sun, Feb 23, 2025 at 07:03:46PM -0800 schrieb Felix Lechner: > As a general matter, I'd just drop it. The package is easy to re-add > later, if needed.
This is always the case for leaf packages. Since we have a removal policy, we should follow it. (Well, I am aware of a mild contradiction, since I also suggested to not follow it to the letter by omitting the first two months period, but I think my suggestion is close to it in spirit.) > I would write directly [4] before a removal. > [4] https://ambrevar.xyz/ Definitely, by cc-ing on the bug report for removal, for instance. Andreas
