Update documentation for the new scheduling/store/restore system