Document +set command line option