X-Debbugs-Cc: monnier@iro.umontreal.ca

On 2/1/2023 10:40 PM, Jim Porter wrote:
> Here's a patch for this, with a few tests. Note that it depends on my 
> patches in bug#61221, so it can't merge quite yet.

Now that bug#61221 has merged, here's an updated patch.