mdbtools: remove useless -doc pkg; misc tweaks.