Fixes #9288 : Event names in docs should include namespace