Hello Michael, Thanks for your patch! I have pushed it to master as e97be4a3c750fceec1d4d691484de36c60f7c424. Best -- Brett M. Gilio brettg@gnu.org https://brettgilio.com/ E82A C026 95D6 FF02 43CA 1E5C F6C5 2DD1 BA27 CB87