diff --git a/.gitignore b/.gitignore
index ddfeac3..819cc60 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ scribblings/*.css
 scribblings/*.html
 scribblings/pollen/*
 doc/*
+pollen/doc/*
diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd
index 714af02..2304d81 100644
--- a/pollen/private/ts.rktd
+++ b/pollen/private/ts.rktd
@@ -1 +1 @@
-1542913104
+1542915167