On 18 August 2022 at 15:53, Ivan Krylov wrote: | Apologies if I'm misunderstanding the problem, but which package is it? I do not believe it matters for the overall policy question I asked CRAN. Dirk -- dirk.eddelbuettel.com | @eddelbuettel | edd using debian.org