On Wed, 18 Dec 2019 16:31:34 +0100, Ole Streicher wrote: > I am going to fix this (and the other problems) and plan to upload the > new version to unstable ASAP (today or tomorrow). Thank you, Ole; I much appreciate you getting to the bottom of the issue.