Deleted Propagate file (code rotted, not likely to be useful even if fixed).