rebuild helpdb.jl
clipboard: first crack at Linux support -- please test!