[stable32] chore: update user_manual/index.html from the master branch
#13040
| Job | Run time |
|---|---|
| 1m 11s | |
| 1m 11s |
user_manual/index.html from the master branch
#13040
| Job | Run time |
|---|---|
| 1m 11s | |
| 1m 11s |