Document --properties with other global options