2 ms·Yes; I always link to <https://manpages.debian.org/ https://manpages.debian.org/> instead.by teddyh 3y agoYes; I always link to <https://manpages.debian.org/ https://manpages.debian.org/> instead.