diff --git a/docs/store.html b/docs/store.html
diff --git a/docs/threshold.html b/docs/threshold.html
diff --git a/docs/util.html b/docs/util.html