Fix #1468 RichTextElement.elements items are never promoted to a pr…
#1008
| Job | Run time |
|---|---|
| 6m 15s | |
| 6m 10s | |
| 6m 19s | |
| 6m 27s | |
| 6m 15s | |
| 6m 14s | |
| 6m 24s | |
| 7m 51s | |
| 51m 55s |