[dnanian]

Yes. But, in general, when you have a major OS update, it's a good time to do an erase-then-copy (assuming you have other backups), since lots and lots of stuff will have changed at that point, and it'll clean up the drive and make sure everything's readable.