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