save to local file, collaboratively edit local file, server-side git checkpointing (turned off for demo and local files), display conneciton IPs