Matthew Pickering authored Feb 15, 2023 and Marge Bot committed Feb 16, 2023

Prefer to use the Ubuntu 20.04 and 18.04 binary distributions on Ubuntu
and Linux Mint. Prefer to use the Rocky 8 binary distribution on
unknown distributions.