options:xml:clipboard-formats