symbolic: document-new misrendered +