update helpdb.jl, and fix a few sphinx warnings