I've written up my results on flip graphs, partial cubes, and the happy ending theorem, and uploaded it to arxiv: Happy endings for flip graphs.