Update developer docs with push/popmeta! changes.

This adds documentation for the changes of #8779.