I'm not sure if we really want to install the API docs yet, but I was reviewing Tomi's patch and it occured to me that this was one more place where we could stop hardcoding the version number.