Search is back!
Jan. 23, 15

This website has a wonderful search function. Except that I, er, removed the search box. It's back now. Enjoy!

Questions? Problems? Suggestions? or email at

Please suggest features or report bugs with the GitHub issue tracker.

All documentation is copyright its authors; we didn't write any of that.