From a91a403d9263b50fe1ec41bc8c89f7346db03b96 Mon Sep 17 00:00:00 2001
From: Libor Polčák <ipolcak@fit.vutbr.cz>
Date: Jun 19 2020 15:00:19 +0000
Subject: Add note on the effectivity of time randomization


The bachelor thesis of Michal Jireš shows that the effectivity of time
randomization is higher with bigger rounding, e.g. to full seconds.
This is happends because the noise depends on the precision.

---

diff --git a/common/levels.js b/common/levels.js
index 3b29598..d0e656b 100644
--- a/common/levels.js
+++ b/common/levels.js
@@ -83,7 +83,7 @@ var wrapping_groups = {
 				{
 					ui_elem: "input-checkbox",
 					id: "randomize",
-					description: "Apply additional randomization after rounding",
+					description: "Apply additional randomization after rounding (note that the random noise is influenced by the selected precision and consequently is more effective with lower time precision)",
 					data_type: "Boolean",
 				},
 			],