Just to let you know that over Christmas, Discourse managed to migrate a batch of posts that got missed in the first migration, including the one you were referring to previously:
Just to let you know that over Christmas, Discourse managed to migrate a batch of posts that got missed in the first migration, including the one you were referring to previously: