Sorry, I didn't have time earlier to hunt down the context. I've added a note to Max's new pull request #457.