revert the edit on helpdb.jl
Merge pull request #5287 from lindahua/dh/minmax_doc2

revert the edit on helpdb.jl