Redirect bookshelf.html

bookshelf/index.html

@@ -5,6 +5,7 @@
   Some books and papers that I like or need to read. This is occasionally
   updated, though not very often. I'm hoping to build out this page more
   over time. Maybe I'll add some small notes as well.
+redirect_from: /bookshelf.html
 ---
 
 {% include ext-navigation.html %}