For anyone else who encountered this, the “Delete Double Vertices” option has been replaced by “Merge by distance”. Not sure if this has been mentioned somewhere else, but it seems important.
2 Likes
Yes it has come up before. But no harm in mentioning again as apparently it was the software that changed after the lecture.