This is RunControl-01-05-08. Main changes: - Replacing std::random_shuffle (already deprecated in C++14).