Let's try manually making helpdb.jl