by Soporte Itze.
Yes that's the one. I used this link to download it and install it: https://moodle.org/plugins/tool_migratehvp2h5p which I think is already included in the article you shared. I read that some people had problems when migrating some activities using this tool but for me it worked just fine.