On Mon, May 11, 2020 at 02:41:57PM -0500, Scott Bennett wrote: > Another poster offered to file PRs for me in the interim, and I sent > him a description of the x11 problems, but I didn't hear back from him. Probably me. I stay pretty busy. Do you still need me to do this? mcl