Clarify what sodium.box.open() does