Documentation: explain push.default option a bit more