MEMDISK: document the pause option