VAXmate, docs or floppies?