Update a bit of stuff in the documentation directory.