revert the edit on helpdb.jl