refresh helpdb.jl