filter out extraneous blank lines from helpdb.jl