Override notification alias.
Removed duplicata.
Merge pull request #344 from ngodfraind/workspace-redirection

Override notification alias.