On Wed, Nov 04, 2026 at 04:14:19AM +0100, adr wrote: > Just encountered this... Thanks, fixed. Are you actually using this? It was last updated in 2010 and upstream hasn't reacted to a bug report about this since 2018. Thomas