We need to pick up post-rc1 changes to various document files so they don't
get lost in Mauro's massive RST conversion push.