I'll add a comment in #471 (which this depends on, and where this was introduced).