remote: put options list in a better shape, adjusted documentation
treea2942b23ed876c6246329cb533b37458b1c211a3
-rw-r--r-- 118 Makefile
-rwxr-xr-x 13782 deploy
-rwxr-xr-x 21782 deployable
-rwxr-xr-x 12502 mcarry
-rwxr-xr-x 6803 remote