update helpdb.jl (and fix a malformatted table)