On Mon, Feb 22, 2021 at 08:14:01PM +0200, Graham Inggs wrote: > It seems r-cran-knitr has migrated now: I've noticed this morning as well. Thanks for confirming anyway Andreas. -- http://fam-tille.de