Ah good catch. One big downside of reddit replacing forums is the default sorting does not make it easy to find late contributions like this.