Minor tweaks to documentation and add it to genbook script.