Thanks to everyone for all the helpful suggestions. We have a chromebook, but never learned how to work with google docs offline until today; but now discovered that might turn out to be a satisfactory solution for travel.