Hi! Christopher Lemmer Webber writes: [...] > It sounds like you're already putting together the work to do it. If > you don't mind doing it that would save me a lot of time right > now... I'm quite swamped! I'd be very grateful! No problem, I just didn't want to end up with two reports for the same issue. It's already open as . >>[...] > I've pushed the fix to master. I also did the setq-local thing as > another commit. Thanks. > However, since Miguel is the one submitting the upstream report, I left > a TODO item to link to that once done. Miguel, do you mind committing > that once done? Pushed the update for the TODO line to master as 3428c66c5a4d5f1a5fd2f1ad4cd3105993ae8e6d. Happy hacking! Miguel