Errata go in 0.13.x, this is 0.14. (#424)

Part of changes to roll the errata into the main document, so people
don't have to chase down a separate document to check if the ratified
one is sane.