This comment is inaccurate now (with the latest PR) - I'll remove it.