Thanks for your suggestions! All look like viable solutions, but I’m looking for open-source alternatives to those :)

The use case would be pair programming. Only one of the users would control the desktop at a given time, and the second would be mostly watching and pointing out things. After a while, the roles of programmer and observer could switch and the second user could take control.