doc: update helpdb.jl