New Features

There’s a couple of new website features and a couple of bug fixes on the site now.

First, the bug fix. The calendar at the right mostly works (the month selections don’t really work yet).

Now the features. The new search box at the left is interactive. As you type in a search term, the highest ranked results show up in the column underneath. For the full list of results, you can still hit a carriage return and get to the search page.

Second, each document on the site has a star-rating system open to all visitors. When visiting a document (i.e. the url to the document looks something like:, at the bottom of the document there’s a set of 5 stars. Please click on the number of stars that you think the document deserves. This is intended to be a community rating system.

Coming soon, a tag cloud