A few tweaks to make the docs work again (although considerable work is still needed).