options:xml:random-colors-document-tabs