Hi. Very minor note that https://www.mediawiki.org/w/index.php?title=Extension:TheWikipediaLibrary&action=history has been around for 3 ys now, FWIW. --Elitre (WMF) (talk) 09:52, 5 August 2021 (UTC)
- Right, the functionality is new, not the extension. Thanks! /Johan (WMF) (talk) 10:17, 5 August 2021 (UTC)