docs: document v7.13.0 features

- Live formulas (HARDFORMULA/SOFTFORMULA) in dcc-validations with operator-friendly explanations
- MPE_VALIDATIONS table doc: add HARDFORMULA/SOFTFORMULA to RULE_TYPE values
- Roadmap: mark Frontend Formulae and Regex Rules as delivered
- SAS VA Embed: document Live vs Confirm filter modes
- ViewBoxes: document edge/corner drag resizing
- Licensing: combined-key paste, key preview, protocol warning
- CAS Tables: REPLACE load type support and temp table cleanup
- Editor: native date/time pickers, paste-validation overlay, row status indicators
- Stage page: Formatted/Unformatted toggle on the approvals screen
- Viya deploy: configurator improvements, deploy checks, login page UX
- Index page: add live formulas and VA embed to features list

docs/index.md

@@ -31,7 +31,7 @@ Data Controller is regularly updated with new features.  If you see something th
 
 * [Excel uploads](/excel) - drag & drop directly into SAS. All versions of excel supported.
 * Data Lineage - at both table and column level, export as image or CSV
-* Data Validation Rules - both automatic and user defined
+* Data Validation Rules - both automatic and user defined, including [live formulas](/dcc-validations/#formula-rules)
 * Data Dictionary - map data definitions and ownership
 * Data Catalog - including primary key extraction
 * DDL generator - in SAS, TSQL and PGSQL flavours
@@ -42,6 +42,7 @@ Data Controller is regularly updated with new features.  If you see something th
 * [Row Level Security](/row-level-security)
 * Excel [formula support](excel)
 * Dynamic [cell dropdown](/dynamic-cell-dropdown)
+* [SAS Visual Analytics embed](/embed-va/) - drive the editor from VA report selections
 * Works on ALL flavours of SAS (Base, EBI, Viya)