Last modified: 2013-01-09 00:21:55 UTC
No opposition in more than a month.
[ Taking this bug. ]
Gerrit change #42497. The help namespace is already declared in
the default search.
Deployed by Reedy.