diff --git a/work/benchmark/e-decimals/authors.txt b/extra/benchmark/e-decimals/authors.txt
similarity index 100%
rename from work/benchmark/e-decimals/authors.txt
rename to extra/benchmark/e-decimals/authors.txt
diff --git a/work/benchmark/e-decimals/e-decimals.factor b/extra/benchmark/e-decimals/e-decimals.factor
similarity index 100%
rename from work/benchmark/e-decimals/e-decimals.factor
rename to extra/benchmark/e-decimals/e-decimals.factor
diff --git a/work/benchmark/e-ratios/authors.txt b/extra/benchmark/e-ratios/authors.txt
similarity index 100%
rename from work/benchmark/e-ratios/authors.txt
rename to extra/benchmark/e-ratios/authors.txt
diff --git a/work/benchmark/e-ratios/e-ratios.factor b/extra/benchmark/e-ratios/e-ratios.factor
similarity index 100%
rename from work/benchmark/e-ratios/e-ratios.factor
rename to extra/benchmark/e-ratios/e-ratios.factor