* use messages.js for some translatable elements * style alerts * infer document name from content * present, forget, rename, import, and export buttons