Thanks for the ticket, Luke Bigum! The PuppetDB team maintains their own documentation, so I'm moving this ticket to their project.
Looks like the relevant section has moved to migration_coordination.markdown, and I don't see any verbatim issues there now, so think this can be resolved.