Wait, I got it! Figured it out. I selected all pages, new and old, with bulk edit and set them to default template and no parent, and that seemed to refresh it, even on his linux machine.
Sorry for the false alarm, and thanks for this BEAUTIFUL theme!!
– Rashed