From ca61b6414936de33d7b6ed8fd2c197f7b3d3d867 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 20 Jun 2022 23:37:22 +0200
Subject: [PATCH] -make pg a recommendation, include version