Update doc/helpdb.jl