On Thu, 18 Nov 2021 at 22:28, Keith <keith at caramail.com> wrote: > > Here's the package you can download and install locally. > Is there an advantage in doing that rather than asking apt to install the required version from the repository? Colin