Missing "Migration" section from published manual

The page at https://doc.redox-os.org/ion-manual/migration.html is empty, whereas the corresponding markdown file is not.