This does not match section 5.2.1 Saving Information on the Regular Stack? of version 4 and later of the specification.
Yes, this is correct. This patchset was posted in April, and once we got some very late requests for changes I asked Xin to hold off any further iterations until the spec had restabilized.
-hpa