did they remove CTRL+V : remove double vertices? I can't seem to find it in my pop up menu in Blender 3.1.
Yes they did...and they renamed it!
It now has the shortcut M > Merge By Distance.
Or go to Mesh > Merge By Distance.