Complete the docs, fix all-options-run.sh