Bug report: Take bug reporting off the mailing list

[Eyal Rozenberg]

On 09/02/2024 3:13, Reinhard Kotucha wrote:
> Karl also said that you don't have to be subscribed in order to file a
> bug report here.  This should be sufficient for those who want to
> report a bug.

... that's apparently true, but prospective bug reporters don't know
that this is the case. So let's settle on at least making that obvious
enough when someone wants to report a bug.

Eyal