diff --git a/Jenkinsfile b/Jenkinsfile
index 9609d05..a55999d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,7 +27,6 @@ pipeline {
 
   options {
     timestamps()
-    ansiColor('xterm')
     disableConcurrentBuilds()
     // Full clients and xapks are several GB each: keep artifacts for the
     // last few runs only.
@@ -189,7 +188,7 @@ pipeline {
       // Runs after archiving. Keeps the restic cache and restored stock
       // builds ($DORKNET_CACHE in jenkins_home, outside the workspace); drops
       // the workspace's build output and scratch.
-      cleanWs(deleteDirs: true, notFailBuild: true)
+      deleteDir()
     }
   }
 }
diff --git a/ci/jenkins/README.md b/ci/jenkins/README.md
index a6f2eda..b5a0da4 100644
--- a/ci/jenkins/README.md
+++ b/ci/jenkins/README.md
@@ -91,8 +91,6 @@ The job needs these plugins:
 - GitHub (for the push trigger)
 - Credentials Binding
 - Timestamper
-- AnsiColor
-- Workspace Cleanup
 
 Most are part of the suggested set.