Yes, but it seems reasonable that it would be turned off for laptops that are swapped every class, whether Windows or Macs (in this case).

If Bobby or Betty just lets it save, now you have to find the laptop the doc was automatically saved to.

Or maybe it was saved to the machine instead of her thumb drive and the IT guy just told her she lost it.

I try to do tech support for my kids and parents hands-on because details that don't matter to them do matter to the OS or apps.