Actually scheduler should enforce synchronization.

No point allowing this unless I have a real use case - progress bars
will work fine without it.
Merge branch 'master' into gh-pages
Updating docs.