Note 3.18 in releases.html