docs/usage: List push-built, rpush-source, not push

Ian Jacksonrequested to merge
push-built-vs-push-source into master

Closes #1092904

CC @nthykier

Merge request reports