Added a naive propagation seeder to propagate
Pull remote so I can push.  Not sure what happened.