diff --git a/extra/lint/authors.txt b/unmaintained/lint/authors.txt
similarity index 100%
rename from extra/lint/authors.txt
rename to unmaintained/lint/authors.txt
diff --git a/extra/lint/lint-tests.factor b/unmaintained/lint/lint-tests.factor
similarity index 100%
rename from extra/lint/lint-tests.factor
rename to unmaintained/lint/lint-tests.factor
diff --git a/extra/lint/lint.factor b/unmaintained/lint/lint.factor
similarity index 100%
rename from extra/lint/lint.factor
rename to unmaintained/lint/lint.factor
diff --git a/extra/lint/summary.txt b/unmaintained/lint/summary.txt
similarity index 100%
rename from extra/lint/summary.txt
rename to unmaintained/lint/summary.txt