[PATCH 0/2] docs: Fix migration.html generation and report such errors next time