On this same thread by replying to 57146@debbugs.gnu.org -------- Original Message -------- On Aug 12, 2022, 23:27, Andrew Patterson wrote: > Thanks for the suggestions! I'll try and work on this some. Should I continue sending patches in this thread, or start a new one? -- Andrew Patterson