Is she still on the version from 4 years ago, then?

IIRC, my biggest complaint about eOS was that you could not upgrade it between major versions, and had to do a clean install every time.