mrjleo
diff --git a/‎index.html
-11 b/‎index.html
-11
diff --git a/‎latest/fast_forward.html
-687 b/‎latest/fast_forward.html
-687
diff --git a/‎latest/fast_forward/encoder.html
-783 b/‎latest/fast_forward/encoder.html
-783
diff --git a/‎latest/fast_forward/index.html
-2,073 b/‎latest/fast_forward/index.html
-2,073
diff --git a/‎latest/fast_forward/ranking.html
-770 b/‎latest/fast_forward/ranking.html
-770
diff --git a/‎latest/fast_forward/util.html
-340 b/‎latest/fast_forward/util.html
-340
diff --git a/‎latest/index.html
-7 b/‎latest/index.html
-7
diff --git a/‎latest/search.js
-46 b/‎latest/search.js
-46