collections: Tweak docs for push