The Exporter Tool http://falcon.star-lord.me/exporter/ is actually working well.
It only crashed before because Miro Video Converter was running in parallel and my weak Mac Mini didn’t like to serve another demanding application.
Some exports fail but even when they fail, the app shows me that they fail and exports these notes as .html files instead of .md files.
The interface is also neat.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!