Ink-jet document printers; color document printers; digital printers for documents; document printers for use with computers