Clarified how to persist options, in man page

Closes #5066.