Throwaway org for the BSG video-pipeline proof (legs B and C). Safe to delete.