change `` to \" in helpdb.jl