docs: Promote when-then-otherwise in User Guide
#3376
| Job | Run time |
|---|---|
| 8m 35s | |
| 8m 35s |
when-then-otherwise in User Guide
#3376
| Job | Run time |
|---|---|
| 8m 35s | |
| 8m 35s |