On Sat, Jan 06, 2024 at 01:17:13PM -0600, John Hasler wrote: > Try manpages.org . > -- > John Hasler > john@sugarbit.com > Elmwood, WI USA > If you're on a Debian system, this should already be installed but otherwise apt-get install manpages Also - manpages.debian.org gives you a searchable interface to all the Debian manpages. All the best Andy (amacater@debian.org)