I've never thought much about pair programming within the same file, seems like a super interesting concept. Obviously co-editing e.g. google docs makes sense, but there's no user-facing concept of validity here. How does saving work, is the idea that someone codes while someone watches? This already causes all sorts of fun with collisions in git, how do people work around that locally with things like hot reloading?