Merge branch 'F11076_AS_websocket' into 'master'

Report.rst: Fix some typo.

See merge request !280
3 jobs for master in 3 minutes and 50 seconds (queued for 2 minutes and 23 seconds)