Ignore the webchecker turd.
diff --git a/Doc/html/.cvsignore b/Doc/html/.cvsignore
index 0d3f217..a67ec7a 100644
--- a/Doc/html/.cvsignore
+++ b/Doc/html/.cvsignore
@@ -4,3 +4,4 @@
 lib
 ref
 tut
+@webchecker.pickle