Minor changes to plugins (mozilla sanity check, eliminate warnings in pdf, cosmetic truecrypt change)