Better document file formats