for the record, it has not rebooted in this way since, nor have I tried to run the gimp since. (aisle's thread made me remember. So it's clearly not a heating problem or voltage or anything else weird. )