On Mon, Dec 2, 2019 at 10:25 AM Paul Wise wrote: > Debian's extra InterWiki links are defined here: > > https://wiki.debian.org/InterWikiMap BTW, it is not necessary to use the DebianWiki InterWiki for links to pages on the Debian wiki, because page links go to the Debian wiki by default, so using the DebianWiki InterWiki just adds extra bytes to the page for no reason. -- bye, pabs https://wiki.debian.org/PaulWise