I got a reply back from him thanking me for the suggestion, and saying that he would make the change.
When? I don’t know, but it’s nice to see that he’s open to little optimizations like this.
