Improved do not edit message in helpdb.jl